2016
|
| 21. | 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}
}
|
| 22. | 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}
}
|
| 23. | Kartakis, Sokratis; Fu, Anqi; Mazo Jr., Manuel ; McCann, Julie A Evaluation of decentralized event-triggered control strategies for cyber-physical systems Online 2016. BibTeX | Tags: NCS @online{kartakis2016evaluationb,
title = {Evaluation of decentralized event-triggered control strategies for cyber-physical systems},
author = {Sokratis Kartakis and Anqi Fu and Manuel {Mazo Jr.} and Julie A McCann},
year = {2016},
date = {2016-01-01},
journal = {arXiv preprint arXiv:1611.04366},
keywords = {NCS},
pubstate = {published},
tppubtype = {online}
}
|
| 24. | 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}
}
|
| 25. | 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}
}
|
| 26. | 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
|
| 27. | 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. BibTeX | Tags: NCS | Links: @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}
}
|
| 28. | 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}
}
|
| 29. | 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}
}
|
| 30. | 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}
}
|
| 31. | 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}
}
|
| 32. | 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}
}
|
2014
|
| 33. | 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}
}
|
| 34. | Araújo, José; Mazo Jr., Manuel ; 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 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}
}
|
| 35. | 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}
}
|
| 36. | 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}
}
|
2013
|
| 37. | 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}
}
|
| 38. | 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}
}
|
| 39. | 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}
}
|
2012
|
| 40. | 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}
}
|
