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. | Ornia, Daniel Jarne; Mazo Jr., Manuel Convergence of Ant Colony Multi-Agent Swarms Inproceedings In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, Sydney, New South Wales, Australia, 2020, ISBN: 9781450370189. Abstract | BibTeX | Tags: Robotics, SCARS | Links: @inproceedings{HSCC20Jarne,
title = {Convergence of Ant Colony Multi-Agent Swarms},
author = { Daniel Jarne Ornia and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/HSCC_Jarne_Mazo.pdf
https://dl.acm.org/doi/10.1145/3365365.3382199
},
doi = {10.1145/3365365.3382199},
isbn = {9781450370189},
year = {2020},
date = {2020-04-01},
booktitle = {Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control},
number = {29},
publisher = {Association for Computing Machinery},
address = {Sydney, New South Wales, Australia},
series = {HSCC '20},
abstract = {Ant Colony algorithms are a set of biologically inspired algorithms used commonly to solve distributed optimization problems. Convergence has been proven in the context of optimization processes, but these proofs are not applicable in the framework of robotic control. In order to use Ant Colony algorithms to control robotic swarms, we present in this work more general results that prove asymptotic convergence of a multi-agent Ant Colony swarm moving in a weighted graph.},
keywords = {Robotics, SCARS},
pubstate = {published},
tppubtype = {inproceedings}
}
Ant Colony algorithms are a set of biologically inspired algorithms used commonly to solve distributed optimization problems. Convergence has been proven in the context of optimization processes, but these proofs are not applicable in the framework of robotic control. In order to use Ant Colony algorithms to control robotic swarms, we present in this work more general results that prove asymptotic convergence of a multi-agent Ant Colony swarm moving in a weighted graph. |
| 9. | 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
|
| 10. | Szymanek, Aleksandra; de Gleizer, Gabriel A; Mazo Jr., Manuel Periodic event-triggered control with a relaxed triggering condition. Inproceedings In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 1656-1661, IEEE, 2019. BibTeX | Tags: NCS, SENTIENT | Links: @inproceedings{SzymanekCDC19,
title = {Periodic event-triggered control with a relaxed triggering condition.},
author = {Aleksandra Szymanek and Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/cdc_preprint.pdf
https://ieeexplore.ieee.org/document/9029823},
doi = {10.1109/CDC40024.2019.9029823},
year = {2019},
date = {2019-12-11},
booktitle = {2019 IEEE 58th Conference on Decision and Control (CDC)},
pages = {1656-1661},
publisher = {IEEE},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 11. | 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}
}
|
| 12. | 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}
}
|
| 13. | Proskurnikov, Anton V; Mazo Jr., Manuel Lyapunov Event-triggered Stabilization with a Known Convergence Rate Journal Article In: IEEE Transactions on Automatic Control, 65 (2), pp. 507–521, 2019, ISSN: 1558-2523. BibTeX | Tags: IAVTRM, NCS | Links: @article{proskurnikov2019lyapunovbc,
title = {Lyapunov Event-triggered Stabilization with a Known Convergence Rate},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/18-0481_04_MS.pdf
https://arxiv.org/abs/1803.08980
https://ieeexplore.ieee.org/document/8680039},
doi = {10.1109/TAC.2019.2907435},
issn = {1558-2523},
year = {2019},
date = {2019-04-02},
journal = {IEEE Transactions on Automatic Control},
volume = {65},
number = {2},
pages = {507--521},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {article}
}
|
2018
|
| 14. | 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}
}
|
| 15. | 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}
}
|
| 16. | 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}
}
|
| 17. | Fu, Anqi; Mazo Jr., Manuel Decentralized periodic event-triggered control with quantization and asynchronous communication Journal Article In: Automatica, 94 , pp. 294–299, 2018. BibTeX | Tags: NCS | Links: @article{fu2018decentralizedb,
title = {Decentralized periodic event-triggered control with quantization and asynchronous communication},
author = {Anqi Fu and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/17-0400_04_MS.pdf
https://arxiv.org/abs/1703.10073
https://www.sciencedirect.com/science/article/pii/S0005109818302309},
doi = {doi.org/10.1016/j.automatica.2018.04.045},
year = {2018},
date = {2018-05-29},
journal = {Automatica},
volume = {94},
pages = {294--299},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
|
| 18. | Proskurnikov, Anton V; Mazo Jr., Manuel Lyapunov design for event-triggered exponential stabilization Inproceedings In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 111–119, ACM Association for Computing Machinery, 2018, ISBN: 9781450356428. BibTeX | Tags: IAVTRM, NCS | Links: @inproceedings{proskurnikov2018lyapunovbd,
title = {Lyapunov design for event-triggered exponential stabilization},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/proskurnikovHSCC18.pdf
https://arxiv.org/abs/1802.01025
https://dl.acm.org/citation.cfm?doid=3178126.3178142},
doi = {10.1145/3178126.3178142},
isbn = {9781450356428},
year = {2018},
date = {2018-04-13},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)},
pages = {111--119},
publisher = {Association for Computing Machinery},
organization = {ACM},
series = {HSCC'18},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 19. | de Gleizer, Gabriel A; Mazo Jr., Manuel Self-Triggered Output Feedback Control for Perturbed Linear Systems Inproceedings In: 7th IFAC Workshop on Distributed Estimation and Control in Networked Systems NECSYS 2018, pp. 248–253, Elsevier, 2018, ISSN: 2405-896. BibTeX | Tags: NCS, SENTIENT | Links: @inproceedings{gleizer2018selfb,
title = {Self-Triggered Output Feedback Control for Perturbed Linear Systems},
author = {Gabriel de A. Gleizer and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2019/11/ECNS18_0078_FI.pdf
https://www.sciencedirect.com/science/article/pii/S2405896318335754},
doi = {10.1016/j.ifacol.2018.12.043},
issn = {2405-896},
year = {2018},
date = {2018-01-01},
booktitle = {7th IFAC Workshop on Distributed Estimation and Control in Networked Systems NECSYS 2018},
journal = {IFAC-PapersOnLine},
volume = {51},
number = {23},
pages = {248--253},
publisher = {Elsevier},
series = {IFAC-PapersOnLine},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2017
|
| 20. | Kartakis, Sokratis; Fu, Anqi; Mazo Jr., Manuel ; McCann, Julie A Communication schemes for centralized and decentralized event-triggered control systems Journal Article In: IEEE Transactions on Control Systems Technology, 26 (6), pp. 2035-2048, 2017. BibTeX | Tags: NCS | Links: @article{kartakis2017communicationb,
title = {Communication schemes for centralized and decentralized event-triggered control systems},
author = {Sokratis Kartakis and Anqi Fu and Manuel {Mazo Jr.} and Julie A McCann},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/IEEETCSTSubmitted.pdf
https://arxiv.org/abs/1611.04366
https://ieeexplore.ieee.org/document/8061038},
doi = {10.1109/TCST.2017.2753166},
year = {2017},
date = {2017-10-06},
journal = {IEEE Transactions on Control Systems Technology},
volume = {26},
number = {6},
pages = {2035-2048},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
|
