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: @article{fu2018trafficb,
title = {Traffic Models of Periodic Event-Triggered Control Systems},
author = {Anqi Fu and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2019/09/FuMazoTAC2019preprint.pdf
https://arxiv.org/abs/1711.03599},
doi = {10.1109/TAC.2018.2879763},
year = {2019},
date = {2019-08-01},
journal = {IEEE Transactions on Automatic Control},
volume = {64},
number = {8},
pages = {3453 - 3460},
publisher = {IEEE},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
|
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: @inproceedings{zapreev2018optimalb,
title = {Optimal Symbolic Controllers Determinization for BDD storage},
author = {Ivan S Zapreev and Cees F Verdier and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1803.07369},
doi = {10.1016/j.ifacol.2018.08.001},
year = {2018},
date = {2018-01-01},
booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018},
journal = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {1--6},
publisher = {Elsevier},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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 @incollection{mazo2018abstractedb,
title = {Abstracted Models for Scheduling of Event-Triggered Control Data Traffic},
author = {Manuel {Mazo Jr.} and Arman Sharifi-Kolarijani and Dieky Adzkiya and Christian Hop},
year = {2018},
date = {2018-01-01},
booktitle = {Control Subject to Computational and Communication Constraints},
pages = {197--217},
publisher = {Springer, Cham},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {incollection}
}
|
| 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 @inproceedings{verdier2018formalb,
title = {Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming},
author = {Cees F Verdier and Manuel {Mazo Jr.}},
year = {2018},
date = {2018-01-01},
booktitle = {2018 IEEE Conference on Decision and Control (CDC)},
pages = {4896--4901},
organization = {IEEE},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{zamani2017symbolicb,
title = {Symbolic abstractions of networked control systems},
author = {Majid Zamani and Manuel {Mazo Jr.} and Mahmoud Khaled and Alessandro Abate},
year = {2017},
date = {2017-01-01},
journal = {IEEE Transactions on Control of Network Systems},
publisher = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {article}
}
|
| 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 @inproceedings{verdier2017formalb,
title = {Formal controller synthesis via genetic programming},
author = {Cees F Verdier and Manuel {Mazo Jr.}},
year = {2017},
date = {2017-01-01},
booktitle = {IFAC-PapersOnLine},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {7205--7210},
publisher = {Elsevier},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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: @article{kolarijani2018formalb,
title = {Formal Traffic Characterization of LTI Event-Triggered Control Systems},
author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.}},
url = {https://ieeexplore.ieee.org/document/7552462
https://arxiv.org/abs/1503.05816},
doi = {10.1109/TCNS.2016.2603008},
year = {2016},
date = {2016-08-25},
journal = {IEEE Transactions on Control of Network Systems},
volume = {5},
number = {1},
pages = {274--283},
publisher = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {article}
}
|
| 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: @techreport{kolarijani2016technicalb,
title = {Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism},
author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.} and Tamás Keviczky},
url = {https://arxiv.org/abs/1609.03476},
year = {2016},
date = {2016-01-01},
journal = {arXiv preprint arXiv:1609.03476},
organization = {https://arxiv.org/abs/1609.03476},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {techreport}
}
|
| 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: @online{adzkiya2016schedulingb,
title = {Scheduling of event-triggered networked control systems using timed game automata},
author = {Dieky Adzkiya and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1610.03729},
year = {2016},
date = {2016-01-01},
journal = {arXiv preprint arXiv:1610.03729},
organization = {https://arxiv.org/abs/1610.03729},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {online}
}
|
| 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 @inproceedings{kolarijani2016timingb,
title = {Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism},
author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.} and Tamás Keviczky},
year = {2016},
date = {2016-01-01},
booktitle = {2016 IEEE 55th Conference on Decision and Control (CDC)},
pages = {1364--1369},
organization = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{kolarijani2015symbolicb,
title = {Symbolic abstractions for the scheduling of event-triggered control systems},
author = {Arman Sharifi-Kolarijani and Dieky Adzkiya and Manuel {Mazo Jr.}},
year = {2015},
date = {2015-01-01},
booktitle = {2015 54th IEEE Conference on Decision and Control (CDC)},
pages = {6153--6158},
organization = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{zamani2014finiteb,
title = {Finite abstractions of networked control systems},
author = {Majid Zamani and Manuel {Mazo Jr.} and Alessandro Abate},
year = {2014},
date = {2014-01-01},
booktitle = {53rd IEEE Conference on Decision and Control},
pages = {95--100},
organization = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{rungger2013specificationb,
title = {Specification-guided controller synthesis for linear systems and safe linear-time temporal logic},
author = {Matthias Rungger and Manuel {Mazo Jr.} and Paulo Tabuada},
year = {2013},
date = {2013-01-01},
booktitle = {Proceedings of the 16th international conference on Hybrid systems: computation and control},
pages = {333--342},
organization = {ACM},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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 @inproceedings{mazo2013designb,
title = {Design of reward structures for sequential decision-making processes using symbolic analysis},
author = {Manuel {Mazo Jr.} and Ming Cao},
year = {2013},
date = {2013-01-01},
booktitle = {2013 American Control Conference},
pages = {4393--4398},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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 @inproceedings{de2013symbolicb,
title = {On symbolic optimal control via approximate simulation relations},
author = {Froukje de Roo and Manuel {Mazo Jr.}},
year = {2013},
date = {2013-01-01},
booktitle = {52nd IEEE Conference on Decision and Control},
pages = {3205--3210},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{zamani2012symbolicb,
title = {Symbolic models for nonlinear control systems without stability assumptions},
author = {Majid Zamani and Giordano Pola and Manuel {Mazo Jr.} and Paulo Tabuada},
year = {2012},
date = {2012-01-01},
journal = {Automatic Control, IEEE Transactions on},
volume = {57},
number = {7},
pages = {1804--1809},
publisher = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {article}
}
|
| 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 @inproceedings{rungger2012scalingb,
title = {Scaling up controller synthesis for linear systems and safety specifications},
author = {Matthias Rungger and Manuel {Mazo Jr.} and Paulo Tabuada},
year = {2012},
date = {2012-01-01},
booktitle = {Decision and Control. CDC12, Proceedings of the 51st IEEE Conference on},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{mazo2011symbolicb,
title = {Symbolic approximate time-optimal control},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year = {2011},
date = {2011-01-01},
journal = {Systems & Control Letters},
volume = {60},
number = {4},
pages = {256--263},
publisher = {North-Holland},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{mazo2010approximateb,
title = {Approximate time-optimal control via approximate alternating simulations},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year = {2010},
date = {2010-01-01},
booktitle = {Proceedings of the 2010 American Control Conference},
pages = {1009--1014},
organization = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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 @inproceedings{mazo2010pessoac,
title = {Pessoa: A tool for embedded controller synthesis},
author = {Manuel {Mazo Jr.} and Anna Davitian and Paulo Tabuada},
year = {2010},
date = {2010-01-01},
booktitle = {Computer Aided Verification},
pages = {566--569},
organization = {Springer},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
