@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{fu2017asynchronousb,
title = {Asynchronous mix-triggered control},
author = {Anqi Fu and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/main.pdf
https://ieeexplore.ieee.org/document/8003065},
doi = {10.1109/ICCA.2017.8003065},
year  = {2017},
date = {2017-07-06},
booktitle = {13th IEEE International Conference on Control and Automation (ICCA 2017)},
pages = {230--235},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{zhang2017absoluteb,
title = {Absolute Stabilization of Lur’e Systems Under Event-Triggered Feedback},
author = {Fan Zhang and Manuel {Mazo Jr.} and Nathan van de Wouw},
url = {https://pure.tudelft.nl/ws/portalfiles/portal/51342466/root.pdf
https://www.sciencedirect.com/science/article/pii/S2405896317333104?via%3Dihub},
doi = {10.1016/j.ifacol.2017.08.2441},
year  = {2017},
date = {2017-07-03},
booktitle = {20th IFAC World Congress},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {15301--15306},
publisher = {Elsevier},
series = {IFAC-PapersOnLine},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{proskurnikov2017simplebb,
title = {Simple synchronization protocols for heterogeneous networks: beyond passivity},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://pure.tudelft.nl/ws/portalfiles/portal/74219018/1_s2.0_S2405896317320335_main.pdf
https://www.sciencedirect.com/science/article/pii/S2405896317320335?via%3Dihub
},
doi = {10.1016/j.ifacol.2017.08.1459},
year  = {2017},
date = {2017-07-01},
booktitle = {20th IFAC World Congress},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {9426--9431},
publisher = {Elsevier},
series = {IFAC-PapersOnLine},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@online{proskurnikov2017simplec,
title = {Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version)},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1703.02937},
year  = {2017},
date = {2017-03-08},
journal = {arXiv preprint arXiv:1703.02937},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {online}
}
@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}
}
@inproceedings{zamani2016schedulingb,
title = {Scheduling of controllers’ update-rates for residual bandwidth utilization},
author = {Majid Zamani and Soumyajit Dey and Sajid Mohamed and Pallab Dasgupta and Manuel {Mazo Jr.}},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/draft.pdf
https://link.springer.com/chapter/10.1007/978-3-319-44878-7_6},
doi = {10.1007/978-3-319-44878-7_6},
year  = {2016},
date = {2016-08-17},
booktitle = {International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016)},
volume = {9884},
pages = {85--101},
organization = {Springer, Cham},
series = {LNCS},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{trottemant2016optimalityb,
title = {Optimality of robust disturbance-feedback strategies},
author = {Eric J Trottemant and Carsten W Scherer and Manuel {Mazo Jr.}},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/rnc.3360},
doi = {doi.org/10.1002/rnc.3360},
year  = {2016},
date = {2016-03-10},
journal = {International Journal of Robust and Nonlinear Control},
volume = {26},
number = {7},
pages = {1475--1488},
keywords = {Optimal Control, Robust Control},
pubstate = {published},
tppubtype = {article}
}
@article{trottemant2016synthesisb,
title = {Synthesis of Robust Piecewise Affine Output-Feedback Strategies},
author = {Eric J Trottemant and Manuel {Mazo Jr.} and Carsten W Scherer},
year  = {2016},
date = {2016-01-01},
journal = {Journal of Guidance, Control, and Dynamics},
volume = {39},
number = {7},
pages = {1461--1469},
publisher = {American Institute of Aeronautics and Astronautics},
keywords = {Optimal Control, Robust Control},
pubstate = {published},
tppubtype = {article}
}
@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}
}
@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}
}
@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}
}
@inproceedings{fu2016periodicb,
title = {Periodic asynchronous event-triggered control},
author = {Anqi Fu and Manuel {Mazo Jr.}},
year  = {2016},
date = {2016-01-01},
booktitle = {2016 IEEE 55th Conference on Decision and Control (CDC)},
pages = {1370--1375},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{fu2016improvedb,
title = {Improved asynchronous event-triggered control for linear systems with performance guarantees},
author = {Anqi Fu and Manuel {Mazo Jr.}},
year  = {2016},
date = {2016-01-01},
booktitle = {2016 European Control Conference (ECC)},
pages = {995--1000},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inbook{mazo2015decentralizedb,
title = {Decentralized event-triggered controller implementations},
author = {Manuel {Mazo Jr.} and Anqi Fu},
editor = {Marek Miskowicz},
doi = {10.1201/b19013-7},
isbn = {978-1-4822-5655-0},
year  = {2015},
date = {2015-11-01},
booktitle = {Event-Based Control and Signal Processing},
pages = {121--125},
publisher = {CRC Press},
keywords = {NCS},
pubstate = {published},
tppubtype = {inbook}
}
@inproceedings{fu2015advancesb,
title = {Advances on asynchronous event-triggered control},
author = {Anqi Fu and Manuel {Mazo Jr.}},
year  = {2015},
date = {2015-01-01},
booktitle = {2015 International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP)},
pages = {1--4},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{zhang2015steeringb,
title = {Steering controller identification and design for human-like overtaking},
author = {Yujie Zhang and Raymond Hoogendoorn and Manuel {Mazo Jr.} and Hans Hellendoorn},
year  = {2015},
date = {2015-01-01},
journal = {Procedia Manufacturing},
volume = {3},
pages = {2526--2533},
publisher = {Elsevier},
keywords = {Automotive},
pubstate = {published},
tppubtype = {article}
}
@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}
}
@inproceedings{santos2015aperiodicc,
title = {Aperiodic consensus control for tracking nonlinear trajectories of a platoon of vehicles},
author = {Carlos Santos and Felipe Espinosa and Enrique Santiso and Miguel Martín and Manuel {Mazo Jr.}},
year  = {2015},
date = {2015-01-01},
booktitle = {2015 IEEE 18th International Conference on Intelligent Transportation Systems},
pages = {1983--1988},
organization = {IEEE},
keywords = {NCS, Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{santos2015aperiodicbb,
title = {Aperiodic linear networked control considering variable channel delays: Application to robots coordination},
author = {Carlos Santos and Felipe Espinosa and Enrique Santiso and Manuel {Mazo Jr.}},
year  = {2015},
date = {2015-01-01},
journal = {Sensors},
volume = {15},
number = {6},
pages = {12454--12473},
publisher = {Multidisciplinary Digital Publishing Institute},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@article{mazo2014asynchronousb,
title = {Asynchronous decentralized event-triggered control},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2014},
date = {2014-01-01},
journal = {Automatica},
volume = {50},
number = {12},
pages = {3197--3203},
publisher = {Pergamon},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@article{araujo2014systemb,
title = {System architectures, protocols and algorithms for aperiodic wireless control systems},
author = {José Araújo and Manuel {Mazo Jr.} and Adolfo Anta and Paulo Tabuada and Karl H Johansson},
year  = {2014},
date = {2014-01-01},
journal = {Industrial Informatics, IEEE Transactions on},
volume = {10},
number = {1},
pages = {175--184},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@article{santos2014adaptiveb,
title = {Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation},
author = {Carlos Santos and Manuel {Mazo Jr.} and Felipe Espinosa},
year  = {2014},
date = {2014-01-01},
journal = {Robotics and Autonomous Systems},
volume = {62},
number = {6},
pages = {847--854},
publisher = {North-Holland},
keywords = {NCS, Robotics},
pubstate = {published},
tppubtype = {article}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{mazo2012decentralizedb,
title = {Decentralized event-triggered control with one bit communications},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2012},
date = {2012-01-01},
booktitle = {IFAC Proceedings Volumes (Analysis and Design of Hybrid Systems, ADHS 2012)},
journal = {IFAC Proceedings Volumes},
volume = {45},
number = {9},
pages = {52--57},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{santos2012adaptiveb,
title = {Adaptive self-triggered control of a remotely operated robot},
author = {Carlos Santos and Manuel {Mazo Jr.} and Felipe Espinosa},
year  = {2012},
date = {2012-01-01},
booktitle = {Conference Towards Autonomous Robotic Systems},
pages = {61--72},
organization = {Springer, Berlin, Heidelberg},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@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}
}
@inproceedings{araujo2012improvedb,
title = {An improved self-triggered implementation for linear controllers},
author = {Jose Araújo and Hamza Fawzi and Manuel {Mazo Jr.} and Paulo Tabuada and Karl H Johansson},
year  = {2012},
date = {2012-01-01},
booktitle = {IFAC Proceedings Volumes (NecSys 2012)},
journal = {IFAC Proceedings Volumes},
volume = {45},
number = {26},
pages = {37--42},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@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},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/TN-10-627_04_MS.pdf
https://arxiv.org/abs/1002.0822
https://ieeexplore.ieee.org/document/6082386},
doi = {10.1109/TAC.2011.2176409},
issn = {1558-2523},
year  = {2011},
date = {2011-11-16},
journal = {Automatic Control, IEEE Transactions on},
volume = {57},
number = {7},
pages = {1804--1809},
publisher = {IEEE},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {article}
}
@article{mazo2011decentralizedc,
title = {Decentralized event-triggered control over wireless sensor/actuator networks},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/WSN-10-004_05_MS.pdf
https://arxiv.org/abs/1004.0477
https://ieeexplore.ieee.org/document/5979134},
doi = {10.1109/TAC.2011.2164036},
isbn = {1558-2523},
year  = {2011},
date = {2011-08-12},
journal = {Automatic Control, IEEE Transactions on},
volume = {56},
number = {10},
pages = {2456--2461},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@misc{mazo2011npb,
title = {NP ne NDP},
author = {Manuel {Mazo Jr.}},
doi = {10.1109/MCS.2011.940726},
year  = {2011},
date = {2011-05-16},
howpublished = {Control Systems Magazine (Feedback)},
keywords = {},
pubstate = {published},
tppubtype = {misc}
}
@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}
}
@inproceedings{araujo2011selfc,
title = {Self-triggered control for industrial wireless sensor and actuator networks},
author = {José Araújo and Adolfo Anta and Manuel {Mazo Jr.} and Joao Faria and Aitor Hernandez and Paulo Tabuada and Karl H Johansson},
year  = {2011},
date = {2011-01-01},
booktitle = {Workshop on Real-Time Wireless for Industrial Applications at CPSWEEK, Chicago, IL},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2011decentralizedbb,
title = {Decentralized Event-triggered Control with Asynchronous Updates},
author = {Manuel {Mazo Jr.} and Ming Cao},
year  = {2011},
date = {2011-01-01},
booktitle = {Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on},
pages = {2547--2552},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{araujo2011selfbb,
title = {Self-triggered control over wireless sensor and actuator networks},
author = {José Araújo and Adolfo Anta and Manuel {Mazo Jr.} and Joao Faria and Aitor Hernandez and Paulo Tabuada and Karl H Johansson},
year  = {2011},
date = {2011-01-01},
booktitle = {Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on},
pages = {1--9},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{MAZO20101310,
title = {An ISS self-triggered implementation of linear controllers},
author = {Manuel {Mazo Jr.} and Adolfo Anta and Paulo Tabuada},
url = {https://arxiv.org/abs/0906.3588
http://www.sciencedirect.com/science/article/pii/S0005109810002153
},
doi = {https://doi.org/10.1016/j.automatica.2010.05.009},
issn = {0005-1098},
year  = {2010},
date = {2010-08-02},
journal = {Automatica},
volume = {46},
number = {8},
pages = {1310 - 1314},
abstract = {Nowadays control systems are mostly implemented on digital platforms and, increasingly, over shared communication networks. Reducing resources (processor utilization, network bandwidth, etc.) in such implementations increases the potential to run more applications on the same hardware. We present a self-triggered implementation of linear controllers that reduces the amount of controller updates necessary to retain stability of the closed-loop system. Furthermore, we show that the proposed self-triggered implementation is robust against additive disturbances and provide explicit guarantees of performance. The proposed technique exhibits an inherent trade-off between computation and potential savings on actuation.},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
@phdthesis{espinosa2010contributionsb,
title = {Contributions to the Control of Networked Cyber-physical Systems},
author = {Manuel {Mazo Jr.}},
year  = {2010},
date = {2010-01-01},
school = {University of California Los Angeles},
keywords = {NCS},
pubstate = {published},
tppubtype = {phdthesis}
}
@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}
}
@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}
}
@inproceedings{mazo2010pessoabb,
title = {PESSOA: towards the automatic synthesis of correct-by-design control software},
author = {Manuel {Mazo Jr.} and Anna Davitian and Paulo Tabuada},
year  = {2010},
date = {2010-01-01},
booktitle = {Work-in-Progress HSCC 2010},
journal = {Work-in-progress HSCC},
keywords = {Formal methods},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2010towardsb,
title = {Towards decentralized event-triggered implementations of centralized control laws},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2010},
date = {2010-01-01},
booktitle = {Proceedings of International Workshop on Networks of Cooperating Objects. Stockholm, Sweden},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@online{creutz2009superstabilityb,
title = {Superstability and finite time extinction for c_0-semigroups},
author = {Darren Creutz and Manuel {Mazo Jr.} and Ciprian Preda},
url = {https://arxiv.org/abs/0907.4812},
year  = {2009},
date = {2009-01-01},
journal = {arXiv preprint arXiv:0907.4812},
organization = {https://arxiv.org/abs/0907.4812},
keywords = {},
pubstate = {published},
tppubtype = {online}
}
@inproceedings{mazo2009selfb,
title = {On self-triggered control for linear systems: Guarantees and complexity},
author = {Manuel {Mazo Jr.} and Adolfo Anta and Paulo Tabuada},
year  = {2009},
date = {2009-01-01},
booktitle = {2009 European Control Conference (ECC)},
pages = {3767--3772},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2009inputb,
title = {Input-to-state stability of self-triggered control systems},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2009},
date = {2009-01-01},
booktitle = {Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on},
pages = {928--933},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2008eventb,
title = {On event-triggered and self-triggered control over sensor/actuator networks},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year  = {2008},
date = {2008-01-01},
booktitle = {Decision and Control, 2008. 47th IEEE Conference on},
pages = {435--440},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
@techreport{mazo2007distributedb,
title = {Distributed Kalman Filtering with Embedded Consensus Filters},
author = {Manuel {Mazo Jr.} and Amir Emadzadeh and Sepehr Vakil},
year  = {2007},
date = {2007-01-01},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
@inproceedings{espinosa2007reductionb,
title = {Reduction of lateral and longitudinal oscillations of vehicle’s platooning by means of decentralized overlapping control},
author = {Felipe Espinosa and AbdelBaset MH Awawdeh and Manuel {Mazo Jr.} and Jose M Rodiguez and Antonio Bocos and Mario Manzano},
year  = {2007},
date = {2007-01-01},
booktitle = {2007 46th IEEE Conference on Decision and Control},
pages = {690--695},
organization = {IEEE},
keywords = {Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}
@techreport{mazo2005stateb,
title = {State of the art on hybrid systems identification},
author = {Manuel {Mazo Jr.}},
year  = {2005},
date = {2005-01-01},
journal = {Centre for Complex Dynamic Systems and Control Internal Report},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
@inproceedings{espinosaintegratedb,
title = {Integrated development environment for underactuated non-linear control systems},
author = {Felipe Espinosa and Francisco J. Castillo and Manuel {Mazo Jr.}},
year  = {2004},
date = {2004-10-15},
booktitle = {SAAEI/EPF 2004},
keywords = {Other},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2004multib,
title = {Multi-robot tracking of a moving object using directional sensors},
author = {Manuel {Mazo Jr.} and Alberto Speranzon and Karl H Johansson and Xiaoming Hu},
url = {https://mmazojr.3me.tudelft.nl/wp-content/uploads/2020/09/icra04.pdf
https://ieeexplore.ieee.org/document/1307972},
doi = {10.1109/ROBOT.2004.1307972},
issn = {1050-4729},
year  = {2004},
date = {2004-04-26},
booktitle = {Proceedings of the 2004 IEEE International Conference on Robotics and Automation.  ICRA'04. },
volume = {2},
pages = {1103--1108},
organization = {IEEE},
keywords = {Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{mazo2004robustb,
title = {Robust area coverage using hybrid control},
author = {Manuel {Mazo Jr.} and Karl H Johansson},
year  = {2004},
date = {2004-01-01},
booktitle = {TELEC, Santiago de Cuba, Cuba},
pages = {1--8},
keywords = {Robotics},
pubstate = {published},
tppubtype = {inproceedings}
}