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.
2020
1.
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems Inproceedings Forthcoming
In: Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, Forthcoming.
2.
Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Journal Article
In: Automatica, 120 , 2020, ISSN: 0005-1098.
3.
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. Online
2020.
4.
Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers. Inproceedings
In: IFAC World Congress 2020, IFAC 2020.
5.
Formal Synthesis Of Closed-form Sampled-data Controllers for Nonlinear Continuous-time Systems Under STL Specifications Online
2020.
6.
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers Journal Article
In: IEEE Control Systems Letters, 5 (1), pp. 25–30, 2020.
7.
Isochronous Partitions for Region-Based Self-Triggered Control Journal Article
In: IEEE Transactions on Automatic Control, pp. 1-1, 2020, ISSN: 1558-2523.
8.
Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online
2020.
2019
9.
Near Optimal Control With Reachability and Safety Guarantees Inproceedings
In: 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 2019, pp. 230–235, 2019, ISSN: 2405-8963.
10.
Traffic Models of Periodic Event-Triggered Control Systems Journal Article
In: IEEE Transactions on Automatic Control, 64 (8), pp. 3453 - 3460, 2019.
2018
11.
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Inproceedings
In: 57th IEEE Conference on Decision and Control (CDC 2018), pp. 4896–4901, IEEE 2018, ISBN: 978-1-5386-1395-5.
12.
Optimal Symbolic Controllers Determinization for BDD storage Inproceedings
In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018, pp. 1–6, Elsevier, 2018.
13.
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, 475 , pp. 197–217, Springer, Cham, 2018, ISBN: 978-3-319-78449-6.
2017
14.
Symbolic abstractions of networked control systems Journal Article
In: IEEE Transactions on Control of Network Systems, 5 (4), pp. 1622-1634, 2017, ISSN: 2325-5870.
15.
Formal controller synthesis via genetic programming Inproceedings
In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017.
2016
16.
Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article
In: IEEE Transactions on Control of Network Systems, 5 (1), pp. 274–283, 2016.
17.
Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Technical Report
2016.
18.
Scheduling of event-triggered networked control systems using timed game automata Online
https://arxiv.org/abs/1610.03729 2016.
19.
Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Inproceedings
In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1364–1369, IEEE 2016.
2015
20.
Symbolic abstractions for the scheduling of event-triggered control systems Inproceedings
In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 6153–6158, IEEE 2015.