2010
|
61. | Mazo Jr., Manuel Contributions to the Control of Networked Cyber-physical Systems (PhD Thesis) University of California Los Angeles, 2010. (BibTeX | Tags: NCS) @phdthesis{espinosa2010contributionsb,
title = {Contributions to the Control of Networked Cyber-physical Systems},
author = {Manuel {Mazo Jr.}},
year = {2010},
date = {2010-01-01},
school = {University of California Los Angeles},
keywords = {NCS},
pubstate = {published},
tppubtype = {phdthesis}
}
|
62. | 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}
}
|
63. | 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}
}
|
64. | 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}
}
|
65. | 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}
}
|
2009
|
66. | Creutz, Darren; Mazo Jr., Manuel ; Preda, Ciprian Superstability and finite time extinction for c_0-semigroups (Online) https://arxiv.org/abs/0907.4812 2009. (BibTeX | Tags: | Links: ) @online{creutz2009superstabilityb,
title = {Superstability and finite time extinction for c_0-semigroups},
author = {Darren Creutz and Manuel {Mazo Jr.} and Ciprian Preda},
url = {https://arxiv.org/abs/0907.4812},
year = {2009},
date = {2009-01-01},
journal = {arXiv preprint arXiv:0907.4812},
organization = {https://arxiv.org/abs/0907.4812},
keywords = {},
pubstate = {published},
tppubtype = {online}
}
|
67. | 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}
}
|
68. | Mazo Jr., Manuel ; Tabuada, Paulo Input-to-state stability of self-triggered control systems (Inproceedings) In: Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pp. 928–933, IEEE 2009. (BibTeX | Tags: NCS) @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}
}
|
2008
|
69. | Mazo Jr., Manuel ; Tabuada, Paulo On event-triggered and self-triggered control over sensor/actuator networks (Inproceedings) In: Decision and Control, 2008. 47th IEEE Conference on, pp. 435–440, IEEE 2008. (BibTeX | Tags: NCS) @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}
}
|
2007
|
70. | Mazo Jr., Manuel ; Emadzadeh, Amir; Vakil, Sepehr Distributed Kalman Filtering with Embedded Consensus Filters (Technical Report) 2007. (BibTeX | Tags: ) @techreport{mazo2007distributedb,
title = {Distributed Kalman Filtering with Embedded Consensus Filters},
author = {Manuel {Mazo Jr.} and Amir Emadzadeh and Sepehr Vakil},
year = {2007},
date = {2007-01-01},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
|
71. | Espinosa, Felipe; Awawdeh, AbdelBaset MH; Mazo Jr., Manuel ; Rodiguez, Jose M; Bocos, Antonio; Manzano, Mario Reduction of lateral and longitudinal oscillations of vehicle’s platooning by means of decentralized overlapping control (Inproceedings) In: 2007 46th IEEE Conference on Decision and Control, pp. 690–695, IEEE 2007. (BibTeX | Tags: Robotics) @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}
}
|
2005
|
72. | Mazo Jr., Manuel State of the art on hybrid systems identification (Technical Report) 2005. (BibTeX | Tags: ) @techreport{mazo2005stateb,
title = {State of the art on hybrid systems identification},
author = {Manuel {Mazo Jr.}},
year = {2005},
date = {2005-01-01},
journal = {Centre for Complex Dynamic Systems and Control Internal Report},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
|
2004
|
73. | Espinosa, Felipe; Castillo, Francisco J; Mazo Jr., Manuel Integrated development environment for underactuated non-linear control systems (Inproceedings) In: SAAEI/EPF 2004, 2004. (BibTeX | Tags: Other) @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}
}
|
74. | Mazo Jr., Manuel ; Speranzon, Alberto; Johansson, Karl H; Hu, Xiaoming Multi-robot tracking of a moving object using directional sensors (Inproceedings) In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation. ICRA'04. , pp. 1103–1108, IEEE 2004, ISSN: 1050-4729. (BibTeX | Tags: Robotics | Links: ) @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}
}
|
75. | Mazo Jr., Manuel ; Johansson, Karl H Robust area coverage using hybrid control (Inproceedings) In: TELEC, Santiago de Cuba, Cuba, pp. 1–8, 2004. (BibTeX | Tags: Robotics) @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}
}
|