2020
|
| 1. | Delimpaltadakis, Giannis; Mazo Jr., Manuel Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems Inproceedings Forthcoming In: Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, Forthcoming. BibTeX | Tags: Formal methods, NCS, SENTIENT | Links: @inproceedings{DelimpCDC20,
title = {Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/final2.pdf
https://arxiv.org/abs/2003.09361
},
year = {2020},
date = {2020-12-15},
booktitle = {Proceedings of the 59th IEEE Conference on Decision and Control},
publisher = {IEEE},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {forthcoming},
tppubtype = {inproceedings}
}
|
| 2. | de Gleizer, Gabriel A; Mazo Jr., Manuel Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Journal Article In: Automatica, 120 , 2020, ISSN: 0005-1098. BibTeX | Tags: Formal methods, NCS, SENTIENT | Links: @article{Aut2020Gleizer,
title = {Self-triggered output-feedback control of LTI systems subject to disturbances and noise.},
author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/19-0776_04_MS.pdf
https://www.sciencedirect.com/science/article/pii/S0005109820303277?via%3Dihub
https://arxiv.org/abs/2007.02703},
doi = {10.1016/j.automatica.2020.109129},
issn = {0005-1098},
year = {2020},
date = {2020-10-01},
journal = {Automatica},
volume = {120},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
|
| 3. | Delimpaltadakis, Giannis; Mazo Jr., Manuel Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. Online 2020. BibTeX | Tags: Formal methods, NCS, SENTIENT | Links: @online{RegionBasedSTC20,
title = {Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems.},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/2005.00473},
year = {2020},
date = {2020-09-01},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {online}
}
|
| 4. | de Gleizer, Gabriel A; Mazo Jr., Manuel Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers. Inproceedings In: IFAC World Congress 2020, IFAC 2020. BibTeX | Tags: Formal methods, NCS, SENTIENT | Links: @inproceedings{IFAC20Gleizer,
title = {Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers.},
author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://arxiv.org/pdf/2003.07642.pdf
https://arxiv.org/abs/2003.07642},
year = {2020},
date = {2020-07-13},
booktitle = {IFAC World Congress 2020},
organization = {IFAC},
series = {IFAC-PapersOnLine},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 5. | Verdier, Cees F; Kochdumper, Niklas; Althoff, Matthias; Mazo Jr., Manuel Formal Synthesis Of Closed-form Sampled-data Controllers for Nonlinear Continuous-time Systems Under STL Specifications Online 2020. BibTeX | Tags: CADUSY, Formal methods | Links: @online{CeesTUM20,
title = {Formal Synthesis Of Closed-form Sampled-data Controllers for Nonlinear Continuous-time Systems Under STL Specifications},
author = {Cees F Verdier and Niklas Kochdumper and Matthias Althoff and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/Formal_synthesis_for_STL_specifications_ARXIV_preprint.pdf
https://arxiv.org/abs/2006.04260},
year = {2020},
date = {2020-06-07},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {online}
}
|
| 6. | de Gleizer, Gabriel A; Mazo Jr., Manuel Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers Journal Article In: IEEE Control Systems Letters, 5 (1), pp. 25–30, 2020. BibTeX | Tags: Formal methods, NCS, SENTIENT | Links: @article{LCSS20Gleizer,
title = {Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers},
author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/20-0377_03_MS.pdf
https://arxiv.org/abs/2005.14504
https://ieeexplore.ieee.org/document/9105095},
doi = {10.1109/LCSYS.2020.2999177},
year = {2020},
date = {2020-06-01},
journal = {IEEE Control Systems Letters},
volume = {5},
number = {1},
pages = {25--30},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
|
| 7. | Delimpaltadakis, Giannis; Mazo Jr., Manuel Isochronous Partitions for Region-Based Self-Triggered Control Journal Article In: IEEE Transactions on Automatic Control, pp. 1-1, 2020, ISSN: 1558-2523. BibTeX | Tags: Formal methods, NCS, SENTIENT | Links: @article{delimpaltadakis2019isochronousb,
title = {Isochronous Partitions for Region-Based Self-Triggered Control},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/final_version_isoc_manifolds.pdf
https://arxiv.org/abs/1904.08788
https://ieeexplore.ieee.org/document/9091336},
doi = {10.1109/TAC.2020.2994020},
issn = {1558-2523},
year = {2020},
date = {2020-05-11},
journal = {IEEE Transactions on Automatic Control},
pages = {1-1},
keywords = {Formal methods, NCS, SENTIENT},
pubstate = {published},
tppubtype = {article}
}
|
| 8. | Verdier, Cees F; Mazo Jr., Manuel Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online 2020. BibTeX | Tags: CADUSY, Formal methods | Links: @online{CeesFormalGP20,
title = {Formal Controller Synthesis for Hybrid Systems Using Genetic Programming},
author = {Cees F Verdier and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/Journal_Hybrid_Arxiv_Preprint.pdf
https://arxiv.org/abs/2003.14322},
year = {2020},
date = {2020-03-31},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {online}
}
|
2019
|
| 9. | Verdier, Cees F; Babuska, Robert; Shyrokau, Barys 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. BibTeX | Tags: CADUSY, Formal methods | Links: @inproceedings{ICONS19Cees,
title = {Near Optimal Control With Reachability and Safety Guarantees},
author = {Cees F Verdier and Robert Babuska and Barys Shyrokau},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/Near_optimal_control_preprint.pdf
https://www.sciencedirect.com/science/article/pii/S2405896319307761?via%3Dihub
},
doi = {10.1016/j.ifacol.2019.09.146},
issn = {2405-8963},
year = {2019},
date = {2019-10-29},
booktitle = { 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 2019},
volume = {52},
number = {11},
pages = {230--235},
series = {IFAC-PapersOnLine},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 10. | 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
https://ieeexplore.ieee.org/document/8526306},
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
|
| 11. | Verdier, Cees F; Mazo Jr., Manuel 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. BibTeX | Tags: CADUSY, Formal methods | Links: @inproceedings{verdier2018formalb,
title = {Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming},
author = {Cees F Verdier and Manuel {Mazo Jr.}},
url = {https://pure.tudelft.nl/ws/portalfiles/portal/81770552/08619121.pdf
https://arxiv.org/abs/1812.02711
https://ieeexplore.ieee.org/document/8619121},
doi = {10.1109/CDC.2018.8619121},
isbn = {978-1-5386-1395-5},
year = {2018},
date = {2018-12-17},
booktitle = {57th IEEE Conference on Decision and Control (CDC 2018)},
pages = {4896--4901},
organization = {IEEE},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 12. | 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://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/adhs18.pdf
https://arxiv.org/abs/1803.07369
https://www.sciencedirect.com/science/article/pii/S2405896318311145?via%3Dihub
},
doi = {10.1016/j.ifacol.2018.08.001},
year = {2018},
date = {2018-08-31},
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}
}
|
| 13. | Mazo Jr., Manuel ; Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Hop, Christian 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. BibTeX | Tags: Formal methods, NCS | Links: @inbook{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},
editor = {Sophie Tarbouriech and Antoine Girard and Laurentiu Hetel},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/CO4Mazo.pdf
https://link.springer.com/chapter/10.1007/978-3-319-78449-6_10
},
doi = {10.1007/978-3-319-78449-6_10},
isbn = {978-3-319-78449-6},
year = {2018},
date = {2018-06-02},
booktitle = {Control Subject to Computational and Communication Constraints},
volume = {475},
pages = {197--217},
publisher = {Springer, Cham},
series = {LNCIS},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {inbook}
}
|
2017
|
| 14. | 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, 5 (4), pp. 1622-1634, 2017, ISSN: 2325-5870. BibTeX | Tags: Formal methods, NCS | Links: @article{zamani2017symbolicb,
title = {Symbolic abstractions of networked control systems},
author = {Majid Zamani and Manuel {Mazo Jr.} and Mahmoud Khaled and Alessandro Abate},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/16-0282_03_MS.pdf
https://arxiv.org/abs/1401.6396
https://ieeexplore.ieee.org/document/8010291},
doi = {10.1109/TCNS.2017.2739645},
issn = {2325-5870},
year = {2017},
date = {2017-08-14},
journal = {IEEE Transactions on Control of Network Systems},
volume = {5},
number = {4},
pages = {1622-1634},
publisher = {IEEE},
keywords = {Formal methods, NCS},
pubstate = {published},
tppubtype = {article}
}
|
| 15. | Verdier, Cees F; Mazo Jr., Manuel Formal controller synthesis via genetic programming Inproceedings In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017. BibTeX | Tags: CADUSY, Formal methods | Links: @inproceedings{verdier2017formalb,
title = {Formal controller synthesis via genetic programming},
author = {Cees F Verdier and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/1-s2.0-S2405896317318979-main.pdf
https://www.sciencedirect.com/science/article/pii/S2405896317318979?via%3Dihub},
doi = {10.1016/j.ifacol.2017.08.1362},
year = {2017},
date = {2017-07-01},
booktitle = {20th IFAC World Congress},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {7205--7210},
publisher = {Elsevier},
series = {IFAC-PapersOnLine},
keywords = {CADUSY, Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2016
|
| 16. | 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://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/15-0160_04_MS.pdf
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}
}
|
| 17. | 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}
}
|
| 18. | 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}
}
|
| 19. | 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
|
| 20. | 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}
}
|
