Manuel Mazo Jr.

120 papers A* 2B 3C 2Journal 78Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems. CoRR Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe, Alessandro Abate, Manuel Mazo Jr.
2025	J	`jnl`	Memory-dependent abstractions of stochastic systems through the lens of transfer operators. CoRR Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr., Raphaël M. Jungers
2025	J	`jnl`	On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals. CoRR Rudi Coppola, Manuel Mazo Jr.
2025	J	`jnl`	Optimal Bayesian Affine Estimator and Active Learning for the Wiener Model. CoRR Sasan Vakili, Manuel Mazo Jr., Peyman Mohajerin Esfahani
2025	J	`jnl`	Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification. CoRR Rudi Coppola, Hovsep Touloujian, Pierfrancesco Ombrini, Manuel Mazo Jr.
2025	J	`jnl`	Sampling Performance of Periodic Event-Triggered Control Systems: A Data-Driven Approach. IEEE Trans. Control. Netw. Syst. Andrea Peruffo, Manuel Mazo Jr.
2025	J	`jnl`	Switched Zero Dynamics Attacks on Sampled-Data Systems with Non-Uniform Sampling: Vulnerability and Countermeasures. ACM Trans. Cyber Phys. Syst. Bart Wolleswinkel, Manuel Mazo Jr., Riccardo M. G. Ferrari
2025	—	`conf`	Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. L4DC Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2024	J	`jnl`	A Contract Theory for Layered Control Architectures. CoRR Manuel Mazo Jr., William D. Compton, Max H. Cohen, Aaron D. Ames
2024	—	`conf`	Bounded robustness in reinforcement learning via lexicographic objectives. L4DC Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
2024	J	`jnl`	Data-Driven Abstractions for Control Systems. CoRR Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
2024	J	`jnl`	Data-driven Interval MDP for Robust Control Synthesis. CoRR Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
2024	J	`jnl`	Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies. CoRR Pio Ong, Manuel Mazo Jr., Aaron D. Ames
2024	—	`ed.`	Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024 HSCC Erika Ábrahám, Manuel Mazo Jr.
2024	—	`conf`	Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.
2024	J	`jnl`	Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. CoRR Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2023	J	`jnl`	Data-Driven Abstractions for Verification of Linear Systems. IEEE Control. Syst. Lett. Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
2023	—	`conf`	Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
2023	J	`jnl`	From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2023	—	`conf`	Interval Markov Decision Processes with Continuous Action-Spaces. HSCC Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
2023	—	`conf`	Poster: Convex Scenario Optimisation for ReLU Networks. HSCC Andrea Peruffo, Manuel Mazo Jr.
2022	—	`conf`	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. HSCC Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
2022	J	`jnl`	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. CoRR Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo Jr.
2022	J	`jnl`	Chaos and order in event-triggered control. CoRR Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2022	J	`jnl`	Data-driven Abstractions for Verification of Deterministic Systems. CoRR Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
2022	J	`jnl`	Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems. CoRR Andrea Peruffo, Manuel Mazo Jr.
2022	J	`jnl`	Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. CoRR Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
2022	—	`conf`	ETCetera: beyond Event-Triggered Control. HSCC Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.
2022	J	`jnl`	ETCetera: beyond Event-Triggered Control. CoRR Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.
2022	J	`jnl`	Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. CoRR Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
2022	J	`jnl`	Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Autom. Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
2022	J	`jnl`	Interval Markov Decision Processes with Continuous Action-Spaces. CoRR Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
2022	J	`jnl`	Mean Field Behavior of Collaborative Multiagent Foragers. IEEE Trans. Robotics Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr.
2022	J	`jnl`	Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
2022	J	`jnl`	Robust Event-Driven Interactions in Cooperative Multi-Agent Learning. CoRR Daniel Jarne Ornia, Manuel Mazo Jr.
2021	J	`jnl`	A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm. CoRR Steven Adams, Daniel Jarne Ornia, Manuel Mazo Jr.
2021	J	`jnl`	Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CoRR Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
2021	J	`jnl`	Computing the average inter-sample time of event-triggered control using quantitative automata. CoRR Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2021	—	`conf`	Computing the sampling performance of event-triggered control. HSCC Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2021	J	`jnl`	Computing the sampling performance of event-triggered control. CoRR Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2021	J	`jnl`	Event-Based Communication in Multi-Agent Distributed Q-Learning. CoRR Daniel Jarne Ornia, Manuel Mazo Jr.
2021	J	`jnl`	Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	B	`conf`	Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	J	`jnl`	Isochronous Partitions for Region-Based Self-Triggered Control. IEEE Trans. Autom. Control. Giannis Delimpaltadakis, Manuel Mazo Jr.
2021	J	`jnl`	Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021	J	`jnl`	Mean Field Behaviour of Collaborative Multi-Agent Foragers. CoRR Daniel Jarne Ornia, Pedro J. Zufiria, Manuel Mazo Jr.
2021	J	`jnl`	Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. IEEE Trans. Control. Netw. Syst. Giannis Delimpaltadakis, Manuel Mazo Jr.
2021	J	`jnl`	Self-Triggered Control for Near-Maximal Average Inter-Sample Time. CoRR Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
2021	J	`jnl`	The Wireless Control Bus: Enabling Efficient Multi-hop Event-Triggered Control with Concurrent Transmissions. CoRR Matteo Trobinger, Gabriel de Albuquerque Gleizer, Timofei Istomin, Manuel Mazo Jr., Amy L. Murphy, Gian Pietro Picco
2021	J	`jnl`	Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. IEEE Control. Syst. Lett. Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2020	—	`conf`	Convergence of ant colony multi-agent swarms. HSCC Daniel Jarne Ornia, Manuel Mazo Jr.
2020	J	`jnl`	Formal controller synthesis for hybrid systems using genetic programming. CoRR Cees Ferdinand Verdier, Manuel Mazo Jr.
2020	J	`jnl`	Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. CoRR Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
2020	J	`jnl`	Lyapunov Event-Triggered Stabilization With a Known Convergence Rate. IEEE Trans. Autom. Control. Anton V. Proskurnikov, Manuel Mazo Jr.
2020	J	`jnl`	Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. CoRR Giannis Delimpaltadakis, Manuel Mazo Jr.
2020	J	`jnl`	Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers. CoRR Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2020	J	`jnl`	Self-Triggered Output-Feedback Control of LTI Systems Subject to Disturbances and Noise. CoRR Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2020	J	`jnl`	Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Autom. Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2020	J	`jnl`	Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. CoRR Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2020	J	`jnl`	Traffic Abstractions of Nonlinear Event-Triggered Control Systems with Disturbances and Uncertainties. CoRR Giannis Delimpaltadakis, Manuel Mazo Jr.
2020	—	`conf`	Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. CDC Giannis Delimpaltadakis, Manuel Mazo Jr.
2020	J	`jnl`	Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. CoRR Giannis Delimpaltadakis, Manuel Mazo Jr.
2019	J	`jnl`	Isochronous Partitions for Region-Based Self-Triggered Control. CoRR Giannis Delimpaltadakis, Manuel Mazo Jr.
2019	—	`conf`	Periodic event-triggered control with a relaxed triggering condition. CDC Aleksandra Szymanek, Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.
2019	J	`jnl`	Traffic Models of Periodic Event-Triggered Control Systems. IEEE Trans. Autom. Control. Anqi Fu, Manuel Mazo Jr.
2018	J	`jnl`	Communication Schemes for Centralized and Decentralized Event-Triggered Control Systems. IEEE Trans. Control. Syst. Technol. Sokratis Kartakis, Anqi Fu, Manuel Mazo Jr., Julie A. McCann
2018	J	`jnl`	Decentralized periodic event-triggered control with quantization and asynchronous communication. Autom. Anqi Fu, Manuel Mazo Jr.
2018	—	`conf`	Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. CDC Cees Ferdinand Verdier, Manuel Mazo Jr.
2018	J	`jnl`	Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. CoRR Cees Ferdinand Verdier, Manuel Mazo Jr.
2018	J	`jnl`	Formal Traffic Characterization of LTI Event-Triggered Control Systems. IEEE Trans. Control. Netw. Syst. Arman Sharifi Kolarijani, Manuel Mazo Jr.
2018	—	`conf`	Lyapunov Design for Event-Triggered Exponential Stabilization. HSCC Anton V. Proskurnikov, Manuel Mazo Jr.
2018	J	`jnl`	Lyapunov Design for Event-Triggered Exponential Stabilization. CoRR Anton V. Proskurnikov, Manuel Mazo Jr.
2018	J	`jnl`	Lyapunov Event-triggered Stabilization with a Known Convergence Rate. CoRR Anton V. Proskurnikov, Manuel Mazo Jr.
2018	—	`conf`	Optimal Symbolic Controllers Determinization for BDD storage. ADHS Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
2018	J	`jnl`	Optimal Symbolic Controllers Determinization for BDD storage. CoRR Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
2018	J	`jnl`	Symbolic Abstractions of Networked Control Systems. IEEE Trans. Control. Netw. Syst. Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate
2017	—	`conf`	Asynchronous mix-triggered control. ICCA Anqi Fu, Manuel Mazo Jr.
2017	J	`jnl`	Periodic Asynchronous Event-triggered Control. CoRR Anqi Fu, Manuel Mazo Jr.
2017	J	`jnl`	Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version). CoRR Anton V. Proskurnikov, Manuel Mazo Jr.
2017	J	`jnl`	Traffic Models of Periodic Event-Triggered Control Systems. CoRR Anqi Fu, Manuel Mazo Jr.
2016	J	`jnl`	Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical Systems. CoRR Sokratis Kartakis, Anqi Fu, Manuel Mazo Jr., Julie A. McCann
2016	—	`conf`	Improved asynchronous event-triggered control for linear systems with performance guarantees. ECC Anqi Fu, Manuel Mazo Jr.
2016	—	`conf`	Periodic asynchronous event-triggered control. CDC Anqi Fu, Manuel Mazo Jr.
2016	—	`conf`	Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
2016	J	`jnl`	Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. CoRR Dieky Adzkiya, Manuel Mazo Jr.
2016	J	`jnl`	Technical Report: Timing Abstraction of Perturbed LTI systems with L CoRR Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky
2016	B	`conf`	The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework. Intelligent Vehicles Symposium Mani Kaustubh, Dehlia Willemsen, Manuel Mazo Jr.
2016	—	`conf`	Timing Abstraction of Perturbed LTI systems with ℒ2-based Event-Triggering Mechanism. CDC Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky
2015	—	`conf`	Advances on asynchronous event-triggered control. EBCCSP Anqi Fu, Manuel Mazo Jr.
2015	—	`conf`	Aperiodic Consensus Control for Tracking Nonlinear Trajectories of a Platoon of Vehicles. ITSC Carlos Santos, Felipe Espinosa, Enrique Santiso, Miguel Martínez-Rey, Manuel Mazo Jr.
2015	J	`jnl`	Aperiodic Linear Networked Control Considering Variable Channel Delays: Application to Robots Coordination. Sensors Carlos Santos, Felipe Espinosa, Enrique Santiso, Manuel Mazo Jr.
2015	—	`conf`	Symbolic abstractions for the scheduling of event-triggered control systems. CDC Arman Sharifi Kolarijani, Dieky Adzkiya, Manuel Mazo Jr.
2015	J	`jnl`	Traffic Characterization of LTI Event-triggered Control Systems: a Formal Approach. CoRR Arman Sharifi Kolarijani, Manuel Mazo Jr.
2014	J	`jnl`	Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation. Robotics Auton. Syst. Carlos Santos, Manuel Mazo Jr., Felipe Espinosa
2014	J	`jnl`	Asynchronous decentralized event-triggered control. Autom. Manuel Mazo Jr., Ming Cao
2014	—	`conf`	Finite abstractions of networked control systems. CDC Majid Zamani, Manuel Mazo Jr., Alessandro Abate
2014	J	`jnl`	Symbolic Models for Networked Control Systems. CoRR Majid Zamani, Manuel Mazo Jr., Alessandro Abate
2014	J	`jnl`	System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems. IEEE Trans. Ind. Informatics José Araujo, Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada, Karl Henrik Johansson
2013	C	`conf`	Design of reward structures for sequential decision-making processes using symbolic analysis. ACC Manuel Mazo Jr., Ming Cao
2013	—	`conf`	On symbolic optimal control via approximate simulation relations. CDC Froukje de Roo, Manuel Mazo Jr.
2013	—	`conf`	Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
2012	—	`conf`	Adaptive Self-triggered Control of a Remotely Operated Robot. TAROS Carlos Santos, Manuel Mazo Jr., Felipe Espinosa
2012	J	`jnl`	Asynchronous Decentralized Event-triggered Control CoRR Manuel Mazo Jr., Ming Cao
2012	—	`conf`	Decentralized event-triggered control with one bit communications. ADHS Manuel Mazo Jr., Ming Cao
2012	—	`conf`	Scaling up controller synthesis for linear systems and safety specifications. CDC Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
2012	J	`jnl`	Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Trans. Autom. Control. Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada
2011	J	`jnl`	Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks. IEEE Trans. Autom. Control. Manuel Mazo Jr., Paulo Tabuada
2011	—	`conf`	Decentralized event-triggered control with asynchronous updates. CDC/ECC Manuel Mazo Jr., Ming Cao
2011	B	`conf`	Self-triggered control over wireless sensor and actuator networks. DCOSS José Araujo, Adolfo Anta Martinez, Manuel Mazo Jr., João Faria, Aitor Hernandez, Paulo Tabuada, Karl Henrik Johansson
2011	J	`jnl`	Symbolic approximate time-optimal control. Syst. Control. Lett. Manuel Mazo Jr., Paulo Tabuada
2010	J	`jnl`	An ISS self-triggered implementation of linear controllers. Autom. Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada
2010	C	`conf`	Approximate time-optimal control via approximate alternating simulations. ACC Manuel Mazo Jr., Paulo Tabuada
2010	J	`jnl`	Decentralized event-triggered control over wireless sensor/actuator networks. CoRR Manuel Mazo Jr., Paulo Tabuada
2010	A*	`conf`	PESSOA: A Tool for Embedded Controller Synthesis. CAV Manuel Mazo Jr., Anna Davitian, Paulo Tabuada
2010	J	`jnl`	Symbolic Approximate Time-Optimal Control. CoRR Manuel Mazo Jr., Paulo Tabuada
2009	—	`conf`	Input-to-state stability of self-triggered control systems. CDC Manuel Mazo Jr., Paulo Tabuada
2009	—	`conf`	On self-triggered control for linear systems: Guarantees and complexity. ECC Manuel Mazo Jr., Adolfo Anta, Paulo Tabuada
2008	—	`conf`	On event-triggered and self-triggered control over sensor/actuator networks. CDC Manuel Mazo Jr., Paulo Tabuada
2007	—	`conf`	Reduction of lateral and longitudinal oscillations of vehicle's platooning by means of decentralized overlapping control. CDC Felipe Espinosa, AbdelBaset M. H. Awawdeh, Manuel Mazo Jr., José M. Rodríguez, Antonio Bocos, Mario Manzano
2004	A*	`conf`	Multi-robot Tracking of a Moving Object Using Directional Sensors. ICRA Manuel Mazo Jr., Alberto Speranzon, Karl Henrik Johansson, Xiaoming Hu