Publications
If you can’t find the preprint you’re looking for below, please try on the TU Delft repository, ORCiD, or GoogleScholar via the linked logos above.
2010
Pessoa: A tool for embedded controller synthesis Proceedings Article
In: Computer Aided Verification, pp. 566–569, Springer 2010.
PESSOA: towards the automatic synthesis of correct-by-design control software Proceedings Article
In: Work-in-Progress HSCC 2010, 2010.
Towards decentralized event-triggered implementations of centralized control laws Proceedings Article
In: Proceedings of International Workshop on Networks of Cooperating Objects. Stockholm, Sweden, 2010.
2009
Superstability and finite time extinction for c_0-semigroups Online
https://arxiv.org/abs/0907.4812 2009.
On self-triggered control for linear systems: Guarantees and complexity Proceedings Article
In: 2009 European Control Conference (ECC), pp. 3767–3772, IEEE 2009.
Input-to-state stability of self-triggered control systems Proceedings Article
In: Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pp. 928–933, IEEE 2009.
2008
On event-triggered and self-triggered control over sensor/actuator networks Proceedings Article
In: Decision and Control, 2008. 47th IEEE Conference on, pp. 435–440, IEEE 2008.
2007
Distributed Kalman Filtering with Embedded Consensus Filters Technical Report
2007.
Reduction of lateral and longitudinal oscillations of vehicle’s platooning by means of decentralized overlapping control Proceedings Article
In: 2007 46th IEEE Conference on Decision and Control, pp. 690–695, IEEE 2007.
2005
State of the art on hybrid systems identification Technical Report
2005.
2004
Integrated development environment for underactuated non-linear control systems Proceedings Article
In: SAAEI/EPF 2004, 2004.
Multi-robot tracking of a moving object using directional sensors Proceedings Article
In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation. ICRA'04. , pp. 1103–1108, IEEE 2004, ISSN: 1050-4729.
Robust area coverage using hybrid control Proceedings Article
In: TELEC, Santiago de Cuba, Cuba, pp. 1–8, 2004.