default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Mazo Jr.
Manuel Mazo 0002 – Manuel Mazo Espinosa
Person information
- affiliation: Delft University of Technology, Delft Center of Systems and Control, Delft, The Netherlands
- affiliation: University of Groningen, Assen, The Netherlands
- affiliation (PhD 2010): University of California, Los Angeles, CA, USA
- affiliation: Royal Institute of Technology, Stockholm, Sweden
Other persons with the same name
- Manuel Mazo 0001 (aka: Manuel Mazo Quintas) — University of Alcalá, Department of Electronics, Alcalá de Henares, Spain (and 1 more)
Other persons with a similar name
SPARQL queries 
🛈 Please note that only 71% of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[i51]Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr., Raphaël M. Jungers:
Memory-dependent abstractions of stochastic systems through the lens of transfer operators. CoRR abs/2502.04240 (2025)- [i50]Rudi Coppola, Manuel Mazo Jr.:
On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals. CoRR abs/2502.07497 (2025) - 2024
- [j30]Sasan Vakili
, Mohammad Khosravi, Peyman Mohajerin Esfahani, Manuel Mazo:
Linear Time-Varying Parameter Estimation: Maximum A Posteriori Approach via Semidefinite Programming. IEEE Control. Syst. Lett. 8: 73-78 (2024) - [j29]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo:
Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. IEEE Control. Syst. Lett. 8: 2069-2074 (2024) - [j28]Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo:
Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered Control. IEEE Trans. Autom. Control. 69(7): 4491-4505 (2024) - [c46]Pio Ong, Manuel Mazo, Aaron D. Ames:
Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies. CDC 2024: 4455-4461 - [c45]Bart Wolleswinkel, Riccardo Ferrari, Manuel Mazo:
A Self-Triggered Control Watermarking Scheme for Detecting Replay Attacks. CDC 2024: 4568-4573 - [c44]Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.:
Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC 2024: 558-563 - [c43]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC 2024: 954-967 - [e1]Erika Ábrahám, Manuel Mazo Jr.:
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM 2024 [contents] - [i49]Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.:
Data-Driven Abstractions for Control Systems. CoRR abs/2402.10668 (2024) - [i48]Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.:
Data-driven Interval MDP for Robust Control Synthesis. CoRR abs/2404.08344 (2024) - [i47]Pio Ong, Manuel Mazo Jr., Aaron D. Ames:
Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies. CoRR abs/2409.09812 (2024) - [i46]Manuel Mazo Jr., William D. Compton, Max H. Cohen, Aaron D. Ames:
A Contract Theory for Layered Control Architectures. CoRR abs/2409.14902 (2024) - [i45]Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian:
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. CoRR abs/2412.11343 (2024) - 2023
- [j27]Steven Adams, Daniel Jarne Ornia, Manuel Mazo:
A self-guided approach for navigation in a minimalistic foraging robotic swarm. Auton. Robots 47(7): 905-920 (2023) - [j26]Andrea Peruffo, Manuel Mazo:
Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems. IEEE Control. Syst. Lett. 7: 115-120 (2023) - [j25]Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.:
Data-Driven Abstractions for Verification of Linear Systems. IEEE Control. Syst. Lett. 7: 2737-2742 (2023) - [j24]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. 35(2): 9:1-9:50 (2023) - [j23]Giannis Delimpaltadakis, Manuel Mazo:
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems. IEEE Trans. Autom. Control. 68(6): 3744-3751 (2023) - [j22]Gabriel de Albuquerque Gleizer, Manuel Mazo:
Chaos and Order in Event-Triggered Control. IEEE Trans. Autom. Control. 68(11): 6541-6556 (2023) - [c42]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.:
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC 2023: 11:1-11:10 - [c41]Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC 2023: 12:1-12:10 - [c40]Andrea Peruffo, Manuel Mazo Jr.:
Poster: Convex Scenario Optimisation for ReLU Networks. HSCC 2023: 26:1-26:2 - 2022
- [j21]Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Autom. 139: 110184 (2022) - [j20]Matteo Trobinger, Gabriel de Albuquerque Gleizer, Timofei Istomin, Manuel Mazo, Amy L. Murphy, Gian Pietro Picco:
The Wireless Control Bus: Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions. ACM Trans. Cyber Phys. Syst. 6(1): 4:1-4:29 (2022) - [j19]Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr.:
Mean Field Behavior of Collaborative Multiagent Foragers. IEEE Trans. Robotics 38(4): 2151-2165 (2022) - [c39]Daniel Jarne Ornia, Manuel Mazo:
Event-Based Communication in Distributed Q-Learning. CDC 2022: 2379-2386 - [c38]Daniel Jarne Ornia, Manuel Mazo:
Robust Event-Driven Interactions in Cooperative Multi-agent Learning. FORMATS 2022: 281-297 - [c37]Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.:
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. HSCC 2022: 7:1-7:11 - [c36]Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.:
ETCetera: beyond Event-Triggered Control. HSCC 2022: 20:1-20:11 - [i44]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Chaos and order in event-triggered control. CoRR abs/2201.04462 (2022) - [i43]Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.:
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. CoRR abs/2202.10178 (2022) - [i42]Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.:
ETCetera: beyond Event-Triggered Control. CoRR abs/2203.01623 (2022) - [i41]Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo Jr.:
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. CoRR abs/2203.01672 (2022) - [i40]Andrea Peruffo, Manuel Mazo Jr.:
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems. CoRR abs/2203.05522 (2022) - [i39]Daniel Jarne Ornia, Manuel Mazo Jr.:
Robust Event-Driven Interactions in Cooperative Multi-Agent Learning. CoRR abs/2204.03361 (2022) - [i38]Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate:
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR abs/2209.15320 (2022) - [i37]Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. CoRR abs/2211.01231 (2022) - [i36]Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.:
Data-driven Abstractions for Verification of Deterministic Systems. CoRR abs/2211.01793 (2022) - [i35]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.:
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. CoRR abs/2212.14260 (2022) - 2021
- [j18]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. IEEE Control. Syst. Lett. 5(1): 25-30 (2021) - [j17]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Isochronous Partitions for Region-Based Self-Triggered Control. IEEE Trans. Autom. Control. 66(3): 1160-1173 (2021) - [j16]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. IEEE Trans. Control. Netw. Syst. 8(2): 757-768 (2021) - [c35]Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo:
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CDC 2021: 1287-1294 - [c34]Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo:
Self-Triggered Control for Near-Maximal Average Inter-Sample Time. CDC 2021: 1308-1313 - [c33]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM 2021: 182-199 - [c32]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Computing the sampling performance of event-triggered control. HSCC 2021: 20:1-20:7 - [i34]Matteo Trobinger, Gabriel de Albuquerque Gleizer, Timofei Istomin, Manuel Mazo Jr., Amy L. Murphy, Gian Pietro Picco:
The Wireless Control Bus: Enabling Efficient Multi-hop Event-Triggered Control with Concurrent Transmissions. CoRR abs/2101.10961 (2021) - [i33]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Computing the sampling performance of event-triggered control. CoRR abs/2103.00919 (2021) - [i32]Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr.:
Mean Field Behaviour of Collaborative Multi-Agent Foragers. CoRR abs/2103.07714 (2021) - [i31]Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.:
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CoRR abs/2103.13839 (2021) - [i30]Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.:
Self-Triggered Control for Near-Maximal Average Inter-Sample Time. CoRR abs/2105.03110 (2021) - [i29]Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR abs/2105.09534 (2021) - [i28]Steven Adams, Daniel Jarne Ornia, Manuel Mazo Jr.:
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm. CoRR abs/2105.10331 (2021) - [i27]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR abs/2107.12986 (2021) - [i26]Daniel Jarne Ornia, Manuel Mazo Jr.:
Event-Based Communication in Multi-Agent Distributed Q-Learning. CoRR abs/2109.01417 (2021) - [i25]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Computing the average inter-sample time of event-triggered control using quantitative automata. CoRR abs/2109.14391 (2021) - 2020
- [j15]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Autom. 120: 109129 (2020) - [j14]Anton V. Proskurnikov, Manuel Mazo Jr.:
Lyapunov Event-Triggered Stabilization With a Known Convergence Rate. IEEE Trans. Autom. Control. 65(2): 507-521 (2020) - [c31]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. CDC 2020: 4991-4998 - [c30]Daniel Jarne Ornia, Manuel Mazo Jr.:
Convergence of ant colony multi-agent swarms. HSCC 2020: 29:1-29:11 - [i24]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers. CoRR abs/2003.07642 (2020) - [i23]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. CoRR abs/2003.09361 (2020) - [i22]Cees Ferdinand Verdier, Manuel Mazo Jr.:
Formal controller synthesis for hybrid systems using genetic programming. CoRR abs/2003.14322 (2020) - [i21]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. CoRR abs/2005.00473 (2020) - [i20]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. CoRR abs/2005.14504 (2020) - [i19]Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. CoRR abs/2006.04260 (2020) - [i18]Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Self-Triggered Output-Feedback Control of LTI Systems Subject to Disturbances and Noise. CoRR abs/2007.02703 (2020) - [i17]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Traffic Abstractions of Nonlinear Event-Triggered Control Systems with Disturbances and Uncertainties. CoRR abs/2010.12341 (2020)
2010 – 2019
- 2019
- [j13]Anqi Fu, Manuel Mazo Jr.:
Traffic Models of Periodic Event-Triggered Control Systems. IEEE Trans. Autom. Control. 64(8): 3453-3460 (2019) - [c29]Aleksandra Szymanek, Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Periodic event-triggered control with a relaxed triggering condition. CDC 2019: 1656-1661 - [i16]Giannis Delimpaltadakis, Manuel Mazo Jr.:
Isochronous Partitions for Region-Based Self-Triggered Control. CoRR abs/1904.08788 (2019) - 2018
- [j12]Anqi Fu, Manuel Mazo Jr.:
Decentralized periodic event-triggered control with quantization and asynchronous communication. Autom. 94: 294-299 (2018) - [j11]Arman Sharifi Kolarijani, Manuel Mazo Jr.:
Formal Traffic Characterization of LTI Event-Triggered Control Systems. IEEE Trans. Control. Netw. Syst. 5(1): 274-283 (2018) - [j10]Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate:
Symbolic Abstractions of Networked Control Systems. IEEE Trans. Control. Netw. Syst. 5(4): 1622-1634 (2018) - [j9]Sokratis Kartakis, Anqi Fu, Manuel Mazo Jr., Julie A. McCann:
Communication Schemes for Centralized and Decentralized Event-Triggered Control Systems. IEEE Trans. Control. Syst. Technol. 26(6): 2035-2048 (2018) - [c28]Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.:
Optimal Symbolic Controllers Determinization for BDD storage. ADHS 2018: 1-6 - [c27]Cees Ferdinand Verdier, Manuel Mazo Jr.:
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. CDC 2018: 4896-4901 - [c26]Anton V. Proskurnikov, Manuel Mazo Jr.:
Lyapunov Design for Event-Triggered Exponential Stabilization. HSCC 2018: 111-119 - [i15]Anton V. Proskurnikov, Manuel Mazo Jr.:
Lyapunov Design for Event-Triggered Exponential Stabilization. CoRR abs/1802.01025 (2018) - [i14]Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.:
Optimal Symbolic Controllers Determinization for BDD storage. CoRR abs/1803.07369 (2018) - [i13]Anton V. Proskurnikov, Manuel Mazo Jr.:
Lyapunov Event-triggered Stabilization with a Known Convergence Rate. CoRR abs/1803.08980 (2018) - [i12]Cees Ferdinand Verdier, Manuel Mazo Jr.:
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. CoRR abs/1812.02711 (2018) - 2017
- [c25]Anqi Fu, Manuel Mazo Jr.:
Asynchronous mix-triggered control. ICCA 2017: 230-235 - [i11]Anton V. Proskurnikov, Manuel Mazo Jr.:
Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version). CoRR abs/1703.02937 (2017) - [i10]Anqi Fu, Manuel Mazo Jr.:
Periodic Asynchronous Event-triggered Control. CoRR abs/1703.10073 (2017) - [i9]Anqi Fu, Manuel Mazo Jr.:
Traffic Models of Periodic Event-Triggered Control Systems. CoRR abs/1711.03599 (2017) - 2016
- [c24]Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky:
Timing Abstraction of Perturbed LTI systems with ℒ2-based Event-Triggering Mechanism. CDC 2016: 1364-1369 - [c23]Anqi Fu, Manuel Mazo Jr.:
Periodic asynchronous event-triggered control. CDC 2016: 1370-1375 - [c22]Anqi Fu, Manuel Mazo Jr.:
Improved asynchronous event-triggered control for linear systems with performance guarantees. ECC 2016: 995-1000 - [c21]Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.:
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS 2016: 85-101 - [c20]Mani Kaustubh, Dehlia Willemsen, Manuel Mazo Jr.:
The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework. Intelligent Vehicles Symposium 2016: 808-814 - [i8]Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky:
Technical Report: Timing Abstraction of Perturbed LTI systems with L2-based Event-Triggering Mechanism. CoRR abs/1609.03476 (2016) - [i7]Dieky Adzkiya, Manuel Mazo Jr.:
Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. CoRR abs/1610.03729 (2016) - [i6]Sokratis Kartakis, Anqi Fu, Manuel Mazo Jr., Julie A. McCann:
Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical Systems. CoRR abs/1611.04366 (2016) - 2015
- [j8]Carlos Santos, Felipe Espinosa, Enrique Santiso, Manuel Mazo Jr.:
Aperiodic Linear Networked Control Considering Variable Channel Delays: Application to Robots Coordination. Sensors 15(6): 12454-12473 (2015) - [c19]Arman Sharifi Kolarijani, Dieky Adzkiya, Manuel Mazo Jr.:
Symbolic abstractions for the scheduling of event-triggered control systems. CDC 2015: 6153-6158 - [c18]Anqi Fu, Manuel Mazo Jr.:
Advances on asynchronous event-triggered control. EBCCSP 2015: 1-4 - [c17]Carlos Santos, Felipe Espinosa, Enrique Santiso, Miguel Martínez-Rey, Manuel Mazo Jr.:
Aperiodic Consensus Control for Tracking Nonlinear Trajectories of a Platoon of Vehicles. ITSC 2015: 1983-1988 - [i5]Arman Sharifi Kolarijani, Manuel Mazo Jr.:
Traffic Characterization of LTI Event-triggered Control Systems: a Formal Approach. CoRR abs/1503.05816 (2015) - 2014
- [j7]Manuel Mazo Jr., Ming Cao:
Asynchronous decentralized event-triggered control. Autom. 50(12): 3197-3203 (2014) - [j6]Carlos Santos, Manuel Mazo Jr., Felipe Espinosa:
Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation. Robotics Auton. Syst. 62(6): 847-854 (2014) - [j5]José Araujo, Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada, Karl Henrik Johansson:
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems. IEEE Trans. Ind. Informatics 10(1): 175-184 (2014) - [c16]Majid Zamani, Manuel Mazo Jr., Alessandro Abate:
Finite abstractions of networked control systems. CDC 2014: 95-100 - [i4]Majid Zamani, Manuel Mazo Jr., Alessandro Abate:
Symbolic Models for Networked Control Systems. CoRR abs/1401.6396 (2014) - 2013
- [c15]Manuel Mazo Jr., Ming Cao:
Design of reward structures for sequential decision-making processes using symbolic analysis. ACC 2013: 4393-4398 - [c14]Froukje de Roo, Manuel Mazo Jr.:
On symbolic optimal control via approximate simulation relations. CDC 2013: 3205-3210 - [c13]Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC 2013: 333-342 - 2012
- [j4]Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada:
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Trans. Autom. Control. 57(7): 1804-1809 (2012) - [c12]Manuel Mazo Jr., Ming Cao:
Decentralized event-triggered control with one bit communications. ADHS 2012: 52-57 - [c11]Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Scaling up controller synthesis for linear systems and safety specifications. CDC 2012: 7638-7643 - [c10]Carlos Santos, Manuel Mazo Jr., Felipe Espinosa:
Adaptive Self-triggered Control of a Remotely Operated Robot. TAROS 2012: 61-72 - [i3]Manuel Mazo Jr., Ming Cao:
Asynchronous Decentralized Event-triggered Control. CoRR abs/1206.6648 (2012) - 2011
- [j3]Manuel Mazo Jr., Paulo Tabuada:
Symbolic approximate time-optimal control. Syst. Control. Lett. 60(4): 256-263 (2011) - [j2]Manuel Mazo Jr., Paulo Tabuada:
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks. IEEE Trans. Autom. Control. 56(10): 2456-2461 (2011) - [c9]Manuel Mazo Jr., Ming Cao:
Decentralized event-triggered control with asynchronous updates. CDC/ECC 2011: 2547-2552 - [c8]José Araujo, Adolfo Anta Martinez, Manuel Mazo Jr., João Faria, Aitor Hernandez, Paulo Tabuada, Karl Henrik Johansson:
Self-triggered control over wireless sensor and actuator networks. DCOSS 2011: 1-9 - 2010
- [j1]Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada:
An ISS self-triggered implementation of linear controllers. Autom. 46(8): 1310-1314 (2010) - [c7]Manuel Mazo Jr., Paulo Tabuada:
Approximate time-optimal control via approximate alternating simulations. ACC 2010: 1009-1014 - [c6]Manuel Mazo Jr., Anna Davitian, Paulo Tabuada:
PESSOA: A Tool for Embedded Controller Synthesis. CAV 2010: 566-569 - [i2]Manuel Mazo Jr., Paulo Tabuada:
Decentralized event-triggered control over wireless sensor/actuator networks. CoRR abs/1004.0477 (2010) - [i1]Manuel Mazo Jr., Paulo Tabuada:
Symbolic Approximate Time-Optimal Control. CoRR abs/1004.0763 (2010)
2000 – 2009
- 2009
- [c5]Manuel Mazo Jr., Paulo Tabuada:
Input-to-state stability of self-triggered control systems. CDC 2009: 928-933 - [c4]Manuel Mazo Jr., Adolfo Anta, Paulo Tabuada:
On self-triggered control for linear systems: Guarantees and complexity. ECC 2009: 3767-3772 - 2008
- [c3]Manuel Mazo Jr., Paulo Tabuada:
On event-triggered and self-triggered control over sensor/actuator networks. CDC 2008: 435-440 - 2007
- [c2]Felipe Espinosa, AbdelBaset M. H. Awawdeh, Manuel Mazo Jr., José M. Rodríguez, Antonio Bocos, Mario Manzano:
Reduction of lateral and longitudinal oscillations of vehicle's platooning by means of decentralized overlapping control. CDC 2007: 690-695 - 2004
- [c1]Manuel Mazo Jr., Alberto Speranzon, Karl Henrik Johansson, Xiaoming Hu:
Multi-robot Tracking of a Moving Object Using Directional Sensors. ICRA 2004: 1103-1108
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-13 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
