Publications

@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}

}

@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}

}

@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}

}

@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}

}