Manuel Mazo Jr.

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 76

Top Venues

Publications

Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC (2024)
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)
Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
Data-driven Interval MDP for Robust Control Synthesis. CoRR (2024)
Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
Data-Driven Abstractions for Control Systems. CoRR (2024)
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) (2023)
Andrea Peruffo, Manuel Mazo Jr.
Poster: Convex Scenario Optimisation for ReLU Networks. HSCC (2023)
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC (2023)
Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
Data-Driven Abstractions for Verification of Linear Systems. IEEE Control. Syst. Lett. 7 (2023)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC (2023)
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR (2022)
Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.
ETCetera: beyond Event-Triggered Control. CoRR (2022)
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
Interval Markov Decision Processes with Continuous Action-Spaces. CoRR (2022)
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. CoRR (2022)
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 (2022)
Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.
ETCetera: beyond Event-Triggered Control. HSCC (2022)
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. HSCC (2022)
Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo Jr.
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. CoRR (2022)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. CoRR (2022)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Chaos and order in event-triggered control. CoRR (2022)
Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr.
Mean Field Behavior of Collaborative Multiagent Foragers. IEEE Trans. Robotics 38 (4) (2022)
Daniel Jarne Ornia, Manuel Mazo Jr.
Robust Event-Driven Interactions in Cooperative Multi-Agent Learning. CoRR (2022)
Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
Data-driven Abstractions for Verification of Deterministic Systems. CoRR (2022)
Andrea Peruffo, Manuel Mazo Jr.
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems. CoRR (2022)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. IEEE Control. Syst. Lett. 5 (1) (2021)
Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr.
Mean Field Behaviour of Collaborative Multi-Agent Foragers. CoRR (2021)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Isochronous Partitions for Region-Based Self-Triggered Control. IEEE Trans. Autom. Control. 66 (3) (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR (2021)
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
Self-Triggered Control for Near-Maximal Average Inter-Sample Time. CoRR (2021)
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CoRR (2021)
Daniel Jarne Ornia, Manuel Mazo Jr.
Event-Based Communication in Multi-Agent Distributed Q-Learning. CoRR (2021)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
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 (2021)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Computing the average inter-sample time of event-triggered control using quantitative automata. CoRR (2021)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR (2021)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Computing the sampling performance of event-triggered control. HSCC (2021)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Computing the sampling performance of event-triggered control. CoRR (2021)
Steven Adams, Daniel Jarne Ornia, Manuel Mazo Jr.
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm. CoRR (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM (2021)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Self-Triggered Output-Feedback Control of LTI Systems Subject to Disturbances and Noise. CoRR (2020)
Daniel Jarne Ornia, Manuel Mazo Jr.
Convergence of ant colony multi-agent swarms. HSCC (2020)
Cees F. 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 (2020)
Cees F. Verdier, Manuel Mazo Jr.
Formal controller synthesis for hybrid systems using genetic programming. CoRR (2020)
Anton V. Proskurnikov, Manuel Mazo Jr.
Lyapunov Event-Triggered Stabilization With a Known Convergence Rate. IEEE Trans. Autom. Control. 65 (2) (2020)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Traffic Abstractions of Nonlinear Event-Triggered Control Systems with Disturbances and Uncertainties. CoRR (2020)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers. CoRR (2020)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. CoRR (2020)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. CoRR (2020)
Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Autom. 120 (2020)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. CDC (2020)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. CoRR (2020)
Anqi Fu, Manuel Mazo Jr.
Traffic Models of Periodic Event-Triggered Control Systems. IEEE Trans. Autom. Control. 64 (8) (2019)
Aleksandra Szymanek, Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
Periodic event-triggered control with a relaxed triggering condition. CDC (2019)
Giannis Delimpaltadakis, Manuel Mazo Jr.
Isochronous Partitions for Region-Based Self-Triggered Control. CoRR (2019)
Anton V. Proskurnikov, Manuel Mazo Jr.
Lyapunov Design for Event-Triggered Exponential Stabilization. HSCC (2018)
Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
Optimal Symbolic Controllers Determinization for BDD storage. ADHS (2018)
Cees F. Verdier, Manuel Mazo Jr.
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. CoRR (2018)
Anton V. Proskurnikov, Manuel Mazo Jr.
Lyapunov Event-triggered Stabilization with a Known Convergence Rate. CoRR (2018)
Cees F. Verdier, Manuel Mazo Jr.
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. CDC (2018)
Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate
Symbolic Abstractions of Networked Control Systems. IEEE Trans. Control. Netw. Syst. 5 (4) (2018)
Anton V. Proskurnikov, Manuel Mazo Jr.
Lyapunov Design for Event-Triggered Exponential Stabilization. CoRR (2018)
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) (2018)
Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
Optimal Symbolic Controllers Determinization for BDD storage. CoRR (2018)
Anqi Fu, Manuel Mazo Jr.
Decentralized periodic event-triggered control with quantization and asynchronous communication. Autom. 94 (2018)
Arman Sharifi Kolarijani, Manuel Mazo Jr.
Formal Traffic Characterization of LTI Event-Triggered Control Systems. IEEE Trans. Control. Netw. Syst. 5 (1) (2018)
Anqi Fu, Manuel Mazo Jr.
Traffic Models of Periodic Event-Triggered Control Systems. CoRR (2017)
Anton V. Proskurnikov, Manuel Mazo Jr.
Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version). CoRR (2017)
Anqi Fu, Manuel Mazo Jr.
Asynchronous mix-triggered control. ICCA (2017)
Anqi Fu, Manuel Mazo Jr.
Periodic Asynchronous Event-triggered Control. CoRR (2017)
Sokratis Kartakis, Anqi Fu, Manuel Mazo Jr., Julie A. McCann
Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical Systems. CoRR (2016)
Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky
-based Event-Triggering Mechanism. CoRR (2016)
Anqi Fu, Manuel Mazo Jr.
Periodic asynchronous event-triggered control. CDC (2016)
Dieky Adzkiya, Manuel Mazo Jr.
Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. CoRR (2016)
Anqi Fu, Manuel Mazo Jr.
Improved asynchronous event-triggered control for linear systems with performance guarantees. ECC (2016)
Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky
Timing Abstraction of Perturbed LTI systems with ℒ2-based Event-Triggering Mechanism. CDC (2016)
Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS (2016)
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)
Anqi Fu, Manuel Mazo Jr.
Advances on asynchronous event-triggered control. EBCCSP (2015)
Arman Sharifi Kolarijani, Dieky Adzkiya, Manuel Mazo Jr.
Symbolic abstractions for the scheduling of event-triggered control systems. CDC (2015)
Arman Sharifi Kolarijani, Manuel Mazo Jr.
Traffic Characterization of LTI Event-triggered Control Systems: a Formal Approach. CoRR (2015)
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)
Carlos Santos, Felipe Espinosa, Enrique Santiso, Manuel Mazo Jr.
Aperiodic Linear Networked Control Considering Variable Channel Delays: Application to Robots Coordination. Sensors 15 (6) (2015)
Manuel Mazo Jr., Ming Cao
Asynchronous decentralized event-triggered control. Autom. 50 (12) (2014)
Majid Zamani, Manuel Mazo Jr., Alessandro Abate
Symbolic Models for Networked Control Systems. CoRR (2014)
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) (2014)
Majid Zamani, Manuel Mazo Jr., Alessandro Abate
Finite abstractions of networked control systems. CDC (2014)
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) (2014)
Froukje de Roo, Manuel Mazo Jr.
On symbolic optimal control via approximate simulation relations. CDC (2013)
Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC (2013)
Manuel Mazo Jr., Ming Cao
Design of reward structures for sequential decision-making processes using symbolic analysis. ACC (2013)
Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
Scaling up controller synthesis for linear systems and safety specifications. CDC (2012)
Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Trans. Autom. Control. 57 (7) (2012)
Carlos Santos, Manuel Mazo Jr., Felipe Espinosa
Adaptive Self-triggered Control of a Remotely Operated Robot. TAROS (2012)
Manuel Mazo Jr., Ming Cao
Decentralized event-triggered control with one bit communications. ADHS (2012)
Manuel Mazo Jr., Ming Cao
Asynchronous Decentralized Event-triggered Control CoRR (2012)
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)
Manuel Mazo Jr., Ming Cao
Decentralized event-triggered control with asynchronous updates. CDC/ECC (2011)
Manuel Mazo Jr., Paulo Tabuada
Symbolic approximate time-optimal control. Syst. Control. Lett. 60 (4) (2011)
Manuel Mazo Jr., Paulo Tabuada
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks. IEEE Trans. Autom. Control. 56 (10) (2011)
Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada
An ISS self-triggered implementation of linear controllers. Autom. 46 (8) (2010)
Manuel Mazo Jr., Paulo Tabuada
Symbolic Approximate Time-Optimal Control. CoRR (2010)

Manuel Mazo Jr..css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Mazo Jr.