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.
2019
Traffic Models of Periodic Event-Triggered Control Systems Journal Article
In: IEEE Transactions on Automatic Control, vol. 64, no. 8, pp. 3453 - 3460, 2019.
2018
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Proceedings Article
In: 57th IEEE Conference on Decision and Control (CDC 2018), pp. 4896–4901, IEEE 2018, ISBN: 978-1-5386-1395-5.
Optimal Symbolic Controllers Determinization for BDD storage Proceedings Article
In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018, pp. 1–6, Elsevier, 2018.
Abstracted Models for Scheduling of Event-Triggered Control Data Traffic Book Chapter
In: Tarbouriech, Sophie; Girard, Antoine; Hetel, Laurentiu (Ed.): Control Subject to Computational and Communication Constraints, vol. 475, pp. 197–217, Springer, Cham, 2018, ISBN: 978-3-319-78449-6.
2017
Symbolic abstractions of networked control systems Journal Article
In: IEEE Transactions on Control of Network Systems, vol. 5, no. 4, pp. 1622-1634, 2017, ISSN: 2325-5870.
Formal controller synthesis via genetic programming Proceedings Article
In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017.
2016
Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article
In: IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 274–283, 2016.
Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Technical Report
2016.
Scheduling of event-triggered networked control systems using timed game automata Online
https://arxiv.org/abs/1610.03729 2016.
Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Proceedings Article
In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1364–1369, IEEE 2016.
2015
Symbolic abstractions for the scheduling of event-triggered control systems Proceedings Article
In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 6153–6158, IEEE 2015.
2014
Finite abstractions of networked control systems Proceedings Article
In: 53rd IEEE Conference on Decision and Control, pp. 95–100, IEEE 2014.
2013
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic Proceedings Article
In: Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 333–342, ACM 2013.
Design of reward structures for sequential decision-making processes using symbolic analysis Proceedings Article
In: 2013 American Control Conference, pp. 4393–4398, IEEE 2013.
On symbolic optimal control via approximate simulation relations Proceedings Article
In: 52nd IEEE Conference on Decision and Control, pp. 3205–3210, IEEE 2013.
2012
Scaling up controller synthesis for linear systems and safety specifications Proceedings Article
In: Decision and Control. CDC12, Proceedings of the 51st IEEE Conference on, IEEE 2012.
2011
Symbolic models for nonlinear control systems without stability assumptions Journal Article
In: Automatic Control, IEEE Transactions on, vol. 57, no. 7, pp. 1804–1809, 2011, ISSN: 1558-2523.
Symbolic approximate time-optimal control Journal Article
In: Systems & Control Letters, vol. 60, no. 4, pp. 256–263, 2011.
2010
Approximate time-optimal control via approximate alternating simulations Proceedings Article
In: Proceedings of the 2010 American Control Conference, pp. 1009–1014, IEEE 2010.
Pessoa: A tool for embedded controller synthesis Proceedings Article
In: Computer Aided Verification, pp. 566–569, Springer 2010.