Journal Articles
|
| 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. Links | BibTeX | Tags: Formal methods, NCS, SENTIENT @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}
}
|  |
| 2. | Proskurnikov, Anton V; Mazo Jr., Manuel Lyapunov Event-triggered Stabilization with a Known Convergence Rate Journal Article Forthcoming In: IEEE Transactions on Automatic Control, Forthcoming, (IEEE Early Access
arXiv preprint arXiv:1803.08980). BibTeX | Tags: IAVTRM, NCS @article{proskurnikov2018lyapunovbc,
title = {Lyapunov Event-triggered Stabilization with a Known Convergence Rate},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
year = {2019},
date = {2019-04-02},
journal = {IEEE Transactions on Automatic Control},
note = {IEEE Early Access
arXiv preprint arXiv:1803.08980},
keywords = {IAVTRM, NCS},
pubstate = {forthcoming},
tppubtype = {article}
}
| |
| 3. | Fu, Anqi; Mazo Jr., Manuel Decentralized periodic event-triggered control with quantization and asynchronous communication Journal Article In: Automatica, 94 , pp. 294–299, 2018. Links | BibTeX | Tags: NCS @article{fu2018decentralizedb,
title = {Decentralized periodic event-triggered control with quantization and asynchronous communication},
author = {Anqi Fu and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1703.10073},
year = {2018},
date = {2018-08-31},
journal = {Automatica},
volume = {94},
pages = {294--299},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
| |
| 4. | 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}
}
| |
| 5. | 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, (99), pp. 1–14, 2017. BibTeX | Tags: NCS @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},
year = {2017},
date = {2017-01-01},
journal = {IEEE Transactions on Control Systems Technology},
number = {99},
pages = {1--14},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
| |
| 6. | 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. Links | BibTeX | Tags: Formal methods, NCS @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}
}
| |
| 7. | Trottemant, Eric J; Mazo Jr., Manuel ; Scherer, Carsten W Synthesis of Robust Piecewise Affine Output-Feedback Strategies Journal Article In: Journal of Guidance, Control, and Dynamics, 39 (7), pp. 1461–1469, 2016. BibTeX | Tags: Optimal Control, Robust Control @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}
}
| |
| 8. | Trottemant, Eric J; Scherer, Carsten W; Mazo Jr., Manuel Optimality of robust disturbance-feedback strategies Journal Article In: International Journal of Robust and Nonlinear Control, 26 (7), pp. 1475–1488, 2016. BibTeX | Tags: Optimal Control, Robust Control @article{trottemant2016optimalityb,
title = {Optimality of robust disturbance-feedback strategies},
author = {Eric J Trottemant and Carsten W Scherer and Manuel {Mazo Jr.}},
year = {2016},
date = {2016-01-01},
journal = {International Journal of Robust and Nonlinear Control},
volume = {26},
number = {7},
pages = {1475--1488},
keywords = {Optimal Control, Robust Control},
pubstate = {published},
tppubtype = {article}
}
| |
| 9. | Zhang, Yujie; Hoogendoorn, Raymond; Mazo Jr., Manuel ; Hellendoorn, Hans Steering controller identification and design for human-like overtaking Journal Article In: Procedia Manufacturing, 3 , pp. 2526–2533, 2015. BibTeX | Tags: Automotive @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}
}
| |
| 10. | Santos, Carlos; Espinosa, Felipe; Santiso, Enrique; Mazo Jr., Manuel Aperiodic linear networked control considering variable channel delays: Application to robots coordination Journal Article In: Sensors, 15 (6), pp. 12454–12473, 2015. BibTeX | Tags: NCS @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}
}
| |
| 11. | Mazo Jr., Manuel ; Cao, Ming Asynchronous decentralized event-triggered control Journal Article In: Automatica, 50 (12), pp. 3197–3203, 2014. BibTeX | Tags: NCS @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}
}
| |
| 12. | Araújo, José; Jr, Mazo M; Anta, Adolfo; Tabuada, Paulo; Johansson, Karl H System architectures, protocols and algorithms for aperiodic wireless control systems Journal Article In: Industrial Informatics, IEEE Transactions on, 10 (1), pp. 175–184, 2014. BibTeX | Tags: NCS @article{araujo2014systemb,
title = {System architectures, protocols and algorithms for aperiodic wireless control systems},
author = {José Araújo and Mazo M 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}
}
| |
| 13. | Santos, Carlos; Mazo Jr., Manuel ; Espinosa, Felipe Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation Journal Article In: Robotics and Autonomous Systems, 62 (6), pp. 847–854, 2014. BibTeX | Tags: NCS, Robotics @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}
}
| |
| 14. | 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}
}
| |
| 15. | Mazo Jr., Manuel ; Tabuada, Paulo Decentralized event-triggered control over wireless sensor/actuator networks Journal Article In: Automatic Control, IEEE Transactions on, 56 (10), pp. 2456–2461, 2011. BibTeX | Tags: NCS @article{mazo2011decentralizedc,
title = {Decentralized event-triggered control over wireless sensor/actuator networks},
author = {Manuel {Mazo Jr.} and Paulo Tabuada},
year = {2011},
date = {2011-01-01},
journal = {Automatic Control, IEEE Transactions on},
volume = {56},
number = {10},
pages = {2456--2461},
publisher = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
| |
| 16. | 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}
}
| |
| 17. | Mazo Jr., Manuel ; Anta, Adolfo; Tabuada, Paulo An ISS self-triggered implementation of linear controllers Journal Article In: Automatica, 46 (8), pp. 1310–1314, 2010. Links | BibTeX | Tags: NCS @article{mazo2010issb,
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},
year = {2010},
date = {2010-01-01},
journal = {Automatica},
volume = {46},
number = {8},
pages = {1310--1314},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {article}
}
| |
Incollections
|
| 18. | 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}
}
| |
| 19. | Mazo Jr., Manuel ; Fu, Anqi Decentralized event-triggered controller implementations Incollection In: Event-Based Control and Signal Processing, pp. 121–125, CRC Press, 2015, ISBN: 978-1-4822-5655-0. Links | BibTeX | Tags: NCS @incollection{mazo2015decentralizedb,
title = {Decentralized event-triggered controller implementations},
author = {Manuel {Mazo Jr.} and Anqi Fu},
doi = {10.1201/b19013-9},
isbn = {978-1-4822-5655-0},
year = {2015},
date = {2015-11-01},
booktitle = {Event-Based Control and Signal Processing},
journal = {Event-Based Control and Signal Processing},
pages = {121--125},
publisher = {CRC Press},
keywords = {NCS},
pubstate = {published},
tppubtype = {incollection}
}
| |
Inproceedings
|
| 20. | 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 2018. Links | BibTeX | Tags: IAVTRM, NCS @inproceedings{proskurnikov2018lyapunovbd,
title = {Lyapunov design for event-triggered exponential stabilization},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
url = {https://dl.acm.org/citation.cfm?doid=3178126.3178142},
doi = {10.1145/3178126.3178142},
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},
organization = {ACM},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
| |
| 21. | 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. Links | BibTeX | Tags: CADUSY, Formal methods @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}
}
| |
| 22. | 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}
}
| |
| 23. | 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. BibTeX | Tags: NCS, SENTIENT @inproceedings{gleizer2018selfb,
title = {Self-Triggered Output Feedback Control for Perturbed Linear Systems},
author = {Gabriel A de Gleizer and Manuel {Mazo Jr.}},
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},
keywords = {NCS, SENTIENT},
pubstate = {published},
tppubtype = {inproceedings}
}
| |
| 24. | Proskurnikov, Anton V; Mazo Jr., Manuel Simple synchronization protocols for heterogeneous networks: beyond passivity Inproceedings In: IFAC-PapersOnLine (20th IFAC World Congress), pp. 9426–9431, Elsevier, 2017. BibTeX | Tags: IAVTRM, NCS @inproceedings{proskurnikov2017simplebb,
title = {Simple synchronization protocols for heterogeneous networks: beyond passivity},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
year = {2017},
date = {2017-01-01},
booktitle = {IFAC-PapersOnLine (20th IFAC World Congress)},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {9426--9431},
publisher = {Elsevier},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
| |
| 25. | 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}
}
| |
| 26. | Zhang, Fan; Mazo Jr., Manuel ; van de Wouw, Nathan Absolute Stabilization of Lur’e Systems Under Event-Triggered Feedback Inproceedings In: IFAC-PapersOnline, pp. 15301–15306, Elsevier, 2017. BibTeX | Tags: NCS @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},
year = {2017},
date = {2017-01-01},
booktitle = {IFAC-PapersOnline},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {15301--15306},
publisher = {Elsevier},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
| |
| 27. | Fu, Anqi; Mazo Jr., Manuel Asynchronous mix-triggered control Inproceedings In: 2017 13th IEEE International Conference on Control & Automation (ICCA), pp. 230–235, IEEE 2017. BibTeX | Tags: NCS @inproceedings{fu2017asynchronousb,
title = {Asynchronous mix-triggered control},
author = {Anqi Fu and Manuel {Mazo Jr.}},
year = {2017},
date = {2017-01-01},
booktitle = {2017 13th IEEE International Conference on Control & Automation (ICCA)},
pages = {230--235},
organization = {IEEE},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
| |
| 28. | Zamani, Majid; Dey, Soumyajit; Mohamed, Sajid; Dasgupta, Pallab; Mazo Jr., Manuel Scheduling of controllers’ update-rates for residual bandwidth utilization Inproceedings In: International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), pp. 85–101, Springer, Cham 2016. Links | BibTeX | Tags: NCS @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://link.springer.com/chapter/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)},
pages = {85--101},
organization = {Springer, Cham},
keywords = {NCS},
pubstate = {published},
tppubtype = {inproceedings}
}
| |
| 29. | 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}
}
| |
| 30. | Fu, Anqi; Mazo Jr., Manuel Periodic asynchronous event-triggered control Inproceedings In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1370–1375, IEEE 2016. BibTeX | Tags: NCS @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}
}
| |
| 31. | Fu, Anqi; Mazo Jr., Manuel Improved asynchronous event-triggered control for linear systems with performance guarantees Inproceedings In: 2016 European Control Conference (ECC), pp. 995–1000, IEEE 2016. BibTeX | Tags: NCS @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}
}
| |
| 32. | Fu, Anqi; Mazo Jr., Manuel Advances on asynchronous event-triggered control Inproceedings In: 2015 International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP), pp. 1–4, IEEE 2015. BibTeX | Tags: NCS @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}
}
| |
| 33. | 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}
}
| |
| 34. | Santos, Carlos; Espinosa, Felipe; Santiso, Enrique; Martín, Miguel; Mazo Jr., Manuel Aperiodic consensus control for tracking nonlinear trajectories of a platoon of vehicles Inproceedings In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp. 1983–1988, IEEE 2015. BibTeX | Tags: NCS, Robotics @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}
}
| |
| 35. | 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}
}
| |
| 36. | 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}
}
| |
| 37. | 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}
}
| |
| 38. | 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}
}
| |
| 39. | Mazo Jr., Manuel ; Cao, Ming Decentralized event-triggered control with one bit communications Inproceedings In: IFAC Proceedings Volumes (Analysis and Design of Hybrid Systems, ADHS 2012), pp. 52–57, Elsevier, 2012. BibTeX | Tags: NCS @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}
}
| |
| 40. | Santos, Carlos; Mazo Jr., Manuel ; Espinosa, Felipe Adaptive self-triggered control of a remotely operated robot Inproceedings In: Conference Towards Autonomous Robotic Systems, pp. 61–72, Springer, Berlin, Heidelberg 2012. BibTeX | Tags: NCS @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}
}
| |
| 41. | 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}
}
| |
| 42. | Araújo, Jose; Fawzi, Hamza; Mazo Jr., Manuel ; Tabuada, Paulo; Johansson, Karl H An improved self-triggered implementation for linear controllers Inproceedings In: IFAC Proceedings Volumes (NecSys 2012), pp. 37–42, Elsevier, 2012. BibTeX | Tags: NCS @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}
}
| |
| 43. | Araújo, José; Anta, Adolfo; Mazo Jr., Manuel ; Faria, Joao; Hernandez, Aitor; Tabuada, Paulo; Johansson, Karl H Self-triggered control for industrial wireless sensor and actuator networks Inproceedings In: Workshop on Real-Time Wireless for Industrial Applications at CPSWEEK, Chicago, IL, 2011. BibTeX | Tags: NCS @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}
}
| |
| 44. | Mazo Jr., Manuel ; Cao, Ming Decentralized Event-triggered Control with Asynchronous Updates Inproceedings In: Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on, pp. 2547–2552, IEEE 2011. BibTeX | Tags: NCS @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}
}
| |
| 45. | Araújo, José; Anta, Adolfo; Mazo Jr., Manuel ; Faria, Joao; Hernandez, Aitor; Tabuada, Paulo; Johansson, Karl H Self-triggered control over wireless sensor and actuator networks Inproceedings In: Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on, pp. 1–9, IEEE 2011. BibTeX | Tags: NCS @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}
}
| |
| 46. | 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}
}
| |
| 47. | 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}
}
| |
| 48. | Mazo Jr., Manuel ; Davitian, Anna; Tabuada, Paulo PESSOA: towards the automatic synthesis of correct-by-design control software Inproceedings In: Work-in-Progress HSCC 2010, 2010. BibTeX | Tags: Formal methods @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}
}
| |
| 49. | Mazo Jr., Manuel ; Tabuada, Paulo Towards decentralized event-triggered implementations of centralized control laws Inproceedings In: Proceedings of International Workshop on Networks of Cooperating Objects. Stockholm, Sweden, 2010. BibTeX | Tags: NCS @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}
}
| |
| 50. | Mazo Jr., Manuel ; Anta, Adolfo; Tabuada, Paulo On self-triggered control for linear systems: Guarantees and complexity Inproceedings In: 2009 European Control Conference (ECC), pp. 3767–3772, IEEE 2009. BibTeX | Tags: NCS @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}
}
| |
https://orcid.org/0000-0002-5638-5283