Publications

@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}

}

@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}

}

@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}

}

@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}

}

@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}

}

@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}

}

@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}

}

@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}

}

@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}

}