2019
|
| 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. 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},
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. | Delimpaltadakis, Giannis; Mazo Jr., Manuel Isochronous Partitions for Region-Based Self-Triggered Control Online 2019. BibTeX | Tags: NCS, preprint, SENTIENT | Links: @online{delimpaltadakis2019isochronousb,
title = {Isochronous Partitions for Region-Based Self-Triggered Control},
author = {Giannis Delimpaltadakis and Manuel {Mazo Jr.}},
url = {https://arxiv.org/abs/1904.08788},
year = {2019},
date = {2019-01-01},
journal = {arXiv preprint arXiv:1904.08788},
keywords = {NCS, preprint, SENTIENT},
pubstate = {published},
tppubtype = {online}
}
|
2018
|
| 4. | 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://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}
}
|
| 5. | 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. 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://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}
}
|
| 6. | 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://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}
}
|
| 7. | 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}
}
|
| 8. | 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}
}
|
| 9. | 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 | 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},
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}
}
|
2017
|
| 10. | 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}
}
|
| 11. | Proskurnikov, Anton V; Mazo Jr., Manuel Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version) Online 2017. BibTeX | Tags: IAVTRM, NCS @online{proskurnikov2017simplec,
title = {Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version)},
author = {Anton V Proskurnikov and Manuel {Mazo Jr.}},
year = {2017},
date = {2017-01-01},
journal = {arXiv preprint arXiv:1703.02937},
keywords = {IAVTRM, NCS},
pubstate = {published},
tppubtype = {online}
}
|
| 12. | 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}
}
|
| 13. | 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}
}
|
| 14. | 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}
}
|
| 15. | 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}
}
|
| 16. | 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}
}
|
2016
|
| 17. | Sharifi-Kolarijani, Arman; Mazo Jr., Manuel Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article In: IEEE Transactions on Control of Network Systems, 5 (1), pp. 274–283, 2016. BibTeX | Tags: Formal methods, NCS | Links: @article{kolarijani2018formalb,
title = {Formal Traffic Characterization of LTI Event-Triggered Control Systems},
author = {Arman Sharifi-Kolarijani and Manuel {Mazo Jr.}},
url = {https://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}
}
|
| 18. | 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. BibTeX | Tags: NCS | Links: @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}
}
|
| 19. | 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}
}
|
| 20. | 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}
}
|
