2017
|
| 21. | 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, 5 (4), pp. 1622-1634, 2017, ISSN: 2325-5870. BibTeX | Tags: Formal methods, NCS | Links: @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}
}
|
| 22. | Fu, Anqi; Mazo Jr., Manuel Asynchronous mix-triggered control Inproceedings In: 13th IEEE International Conference on Control and Automation (ICCA 2017), pp. 230–235, IEEE 2017. BibTeX | Tags: NCS | Links: @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}
}
|
| 23. | Zhang, Fan; Mazo Jr., Manuel ; van de Wouw, Nathan Absolute Stabilization of Lur’e Systems Under Event-Triggered Feedback Inproceedings In: 20th IFAC World Congress, pp. 15301–15306, Elsevier, 2017. BibTeX | Tags: NCS | Links: @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}
}
|
| 24. | Proskurnikov, Anton V; Mazo Jr., Manuel Simple synchronization protocols for heterogeneous networks: beyond passivity Inproceedings In: 20th IFAC World Congress, pp. 9426–9431, Elsevier, 2017. BibTeX | Tags: IAVTRM, NCS | Links: @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}
}
|
| 25. | Verdier, Cees F; Mazo Jr., Manuel Formal controller synthesis via genetic programming Inproceedings In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017. BibTeX | Tags: CADUSY, Formal methods | Links: @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}
}
|
| 26. | Proskurnikov, Anton V; Mazo Jr., Manuel Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version) Online 2017. BibTeX | Tags: IAVTRM, NCS | Links: @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}
}
|
2016
|
| 27. | 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://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}
}
|
| 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. 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://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}
}
|
| 29. | 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 | Links: @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}
}
|
| 30. | 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}
}
|
| 31. | Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; Keviczky, Tamás Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Technical Report 2016. BibTeX | Tags: Formal methods, NCS | Links: @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}
}
|
| 32. | Adzkiya, Dieky; Mazo Jr., Manuel Scheduling of event-triggered networked control systems using timed game automata Online https://arxiv.org/abs/1610.03729 2016. BibTeX | Tags: Formal methods, NCS | Links: @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}
}
|
| 33. | 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}
}
|
| 34. | 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}
}
|
| 35. | 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}
}
|
2015
|
| 36. | Mazo Jr., Manuel ; Fu, Anqi Decentralized event-triggered controller implementations Book Chapter In: Miskowicz, Marek (Ed.): Event-Based Control and Signal Processing, pp. 121–125, CRC Press, 2015, ISBN: 978-1-4822-5655-0. BibTeX | Tags: NCS | Links: @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}
}
|
| 37. | 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}
}
|
| 38. | 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}
}
|
| 39. | 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}
}
|
| 40. | 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}
}
|
