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.

Show all

21 entries « 1 of 2 »

2019

1.

Fu, Anqi; Mazo Jr., Manuel

Traffic Models of Periodic Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Automatic Control, 64 (8), pp. 3453 - 3460, 2019.

BibTeX | Tags: Formal methods, NCS, SENTIENT | Links:

2018

2.

Zapreev, Ivan S; Verdier, Cees F; Mazo Jr., Manuel

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.

BibTeX | Tags: CADUSY, Formal methods | Links:

3.

Mazo Jr., Manuel ; Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Hop, Christian

Abstracted Models for Scheduling of Event-Triggered Control Data Traffic Incollection

In: Control Subject to Computational and Communication Constraints, pp. 197–217, Springer, Cham, 2018.

BibTeX | Tags: Formal methods, NCS

4.

Verdier, Cees F; Mazo Jr., Manuel

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Inproceedings

In: 2018 IEEE Conference on Decision and Control (CDC), pp. 4896–4901, IEEE 2018.

BibTeX | Tags: CADUSY, Formal methods

2017

5.

Zamani, Majid; Mazo Jr., Manuel ; Khaled, Mahmoud; Abate, Alessandro

Symbolic abstractions of networked control systems Journal Article

In: IEEE Transactions on Control of Network Systems, 2017.

BibTeX | Tags: Formal methods, NCS

6.

Verdier, Cees F; Mazo Jr., Manuel

Formal controller synthesis via genetic programming Inproceedings

In: IFAC-PapersOnLine, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods

2016

7.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel

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.

BibTeX | Tags: Formal methods, NCS | Links:

8.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; Keviczky, Tamás

Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Technical Report

2016.

BibTeX | Tags: Formal methods, NCS | Links:

9.

Adzkiya, Dieky; Mazo Jr., Manuel

Scheduling of event-triggered networked control systems using timed game automata Online

https://arxiv.org/abs/1610.03729 2016.

BibTeX | Tags: Formal methods, NCS | Links:

10.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; Keviczky, Tamás

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.

BibTeX | Tags: Formal methods, NCS

2015

11.

Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Mazo Jr., Manuel

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.

BibTeX | Tags: Formal methods, NCS

2014

12.

Zamani, Majid; Mazo Jr., Manuel ; Abate, Alessandro

Finite abstractions of networked control systems Inproceedings

In: 53rd IEEE Conference on Decision and Control, pp. 95–100, IEEE 2014.

BibTeX | Tags: Formal methods, NCS

2013

13.

Rungger, Matthias; Mazo Jr., Manuel ; Tabuada, Paulo

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic Inproceedings

In: Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 333–342, ACM 2013.

BibTeX | Tags: Formal methods

14.

Mazo Jr., Manuel ; Cao, Ming

Design of reward structures for sequential decision-making processes using symbolic analysis Inproceedings

In: 2013 American Control Conference, pp. 4393–4398, IEEE 2013.

BibTeX | Tags: Formal methods

15.

de Roo, Froukje; Mazo Jr., Manuel

On symbolic optimal control via approximate simulation relations Inproceedings

In: 52nd IEEE Conference on Decision and Control, pp. 3205–3210, IEEE 2013.

BibTeX | Tags: Formal methods

2012

16.

Zamani, Majid; Pola, Giordano; Mazo Jr., Manuel ; Tabuada, Paulo

Symbolic models for nonlinear control systems without stability assumptions Journal Article

In: Automatic Control, IEEE Transactions on, 57 (7), pp. 1804–1809, 2012.

BibTeX | Tags: Formal methods

17.

Rungger, Matthias; Mazo Jr., Manuel ; Tabuada, Paulo

Scaling up controller synthesis for linear systems and safety specifications Inproceedings

In: Decision and Control. CDC12, Proceedings of the 51st IEEE Conference on, IEEE 2012.

BibTeX | Tags: Formal methods

2011

18.

Mazo Jr., Manuel ; Tabuada, Paulo

Symbolic approximate time-optimal control Journal Article

In: Systems & Control Letters, 60 (4), pp. 256–263, 2011.

BibTeX | Tags: Formal methods

2010

19.

Mazo Jr., Manuel ; Tabuada, Paulo

Approximate time-optimal control via approximate alternating simulations Inproceedings

In: Proceedings of the 2010 American Control Conference, pp. 1009–1014, IEEE 2010.

BibTeX | Tags: Formal methods

20.

Mazo Jr., Manuel ; Davitian, Anna; Tabuada, Paulo

Pessoa: A tool for embedded controller synthesis Inproceedings

In: Computer Aided Verification, pp. 566–569, Springer 2010.

BibTeX | Tags: Formal methods

21 entries « 1 of 2 »