Manuel Mazo Jr.

Orcid: 0000-0002-5638-5283

Affiliations:
  • Delft University of Technology, Delft Center of Systems and Control, Delft, The Netherlands
  • University of Groningen, Assen, The Netherlands
  • University of California, Los Angeles, CA, USA (PhD 2010)
  • Royal Institute of Technology, Stockholm, Sweden


According to our database1, Manuel Mazo Jr. authored at least 87 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Linear Time-Varying Parameter Estimation: Maximum A Posteriori Approach via Semidefinite Programming.
IEEE Control. Syst. Lett., 2024

Data-Driven Abstractions for Control Systems.
CoRR, 2024

2023
Chaos and Order in Event-Triggered Control.
IEEE Trans. Autom. Control., November, 2023

A self-guided approach for navigation in a minimalistic foraging robotic swarm.
Auton. Robots, October, 2023

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems.
IEEE Trans. Autom. Control., June, 2023

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.
Formal Aspects Comput., June, 2023

Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems.
IEEE Control. Syst. Lett., 2023

Data-Driven Abstractions for Verification of Linear Systems.
IEEE Control. Syst. Lett., 2023

Poster: Convex Scenario Optimisation for ReLU Networks.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Distributionally Robust Strategy Synthesis for Switched Stochastic Systems.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Interval Markov Decision Processes with Continuous Action-Spaces.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022
Mean Field Behavior of Collaborative Multiagent Foragers.
IEEE Trans. Robotics, 2022

The Wireless Control Bus: Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions.
ACM Trans. Cyber Phys. Syst., 2022

Data-driven Abstractions for Verification of Deterministic Systems.
CoRR, 2022

Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives.
CoRR, 2022

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control.
CoRR, 2022

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.
Autom., 2022

A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

ETCetera: beyond Event-Triggered Control.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Robust Event-Driven Interactions in Cooperative Multi-agent Learning.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Event-Based Communication in Distributed Q-Learning.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems.
IEEE Trans. Control. Netw. Syst., 2021

Isochronous Partitions for Region-Based Self-Triggered Control.
IEEE Trans. Autom. Control., 2021

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers.
IEEE Control. Syst. Lett., 2021

Computing the average inter-sample time of event-triggered control using quantitative automata.
CoRR, 2021

Event-Based Communication in Multi-Agent Distributed Q-Learning.
CoRR, 2021

Logics Meet 2-Way 1-Clock Alternating Timed Automata.
CoRR, 2021

Mean Field Behaviour of Collaborative Multi-Agent Foragers.
CoRR, 2021

Computing the sampling performance of event-triggered control.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers.
Proceedings of the Formal Methods - 24th International Symposium, 2021

Self-Triggered Control for Near-Maximal Average Inter-Sample Time.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Lyapunov Event-Triggered Stabilization With a Known Convergence Rate.
IEEE Trans. Autom. Control., 2020

Traffic Abstractions of Nonlinear Event-Triggered Control Systems with Disturbances and Uncertainties.
CoRR, 2020

Formal controller synthesis for hybrid systems using genetic programming.
CoRR, 2020

Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers.
CoRR, 2020

Self-triggered output-feedback control of LTI systems subject to disturbances and noise.
Autom., 2020

Convergence of ant colony multi-agent swarms.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Traffic Models of Periodic Event-Triggered Control Systems.
IEEE Trans. Autom. Control., 2019

Periodic event-triggered control with a relaxed triggering condition.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Communication Schemes for Centralized and Decentralized Event-Triggered Control Systems.
IEEE Trans. Control. Syst. Technol., 2018

Symbolic Abstractions of Networked Control Systems.
IEEE Trans. Control. Netw. Syst., 2018

Formal Traffic Characterization of LTI Event-Triggered Control Systems.
IEEE Trans. Control. Netw. Syst., 2018

Decentralized periodic event-triggered control with quantization and asynchronous communication.
Autom., 2018

Lyapunov Design for Event-Triggered Exponential Stabilization.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimal Symbolic Controllers Determinization for BDD storage.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version).
CoRR, 2017

Asynchronous mix-triggered control.
Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

2016
Technical Report: Timing Abstraction of Perturbed LTI systems with L<sub>2</sub>-based Event-Triggering Mechanism.
CoRR, 2016

Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical Systems.
CoRR, 2016

Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata.
CoRR, 2016

The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework.
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Improved asynchronous event-triggered control for linear systems with performance guarantees.
Proceedings of the 15th European Control Conference, 2016

Timing Abstraction of Perturbed LTI systems with ℒ2-based Event-Triggering Mechanism.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Periodic asynchronous event-triggered control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Aperiodic Linear Networked Control Considering Variable Channel Delays: Application to Robots Coordination.
Sensors, 2015

Traffic Characterization of LTI Event-triggered Control Systems: a Formal Approach.
CoRR, 2015

Aperiodic Consensus Control for Tracking Nonlinear Trajectories of a Platoon of Vehicles.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Advances on asynchronous event-triggered control.
Proceedings of the International Conference on Event-based Control, 2015

Symbolic abstractions for the scheduling of event-triggered control systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems.
IEEE Trans. Ind. Informatics, 2014

Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation.
Robotics Auton. Syst., 2014

Symbolic Models for Networked Control Systems.
CoRR, 2014

Asynchronous decentralized event-triggered control.
Autom., 2014

Finite abstractions of networked control systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

On symbolic optimal control via approximate simulation relations.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Design of reward structures for sequential decision-making processes using symbolic analysis.
Proceedings of the American Control Conference, 2013

2012
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
IEEE Trans. Autom. Control., 2012

Adaptive Self-triggered Control of a Remotely Operated Robot.
Proceedings of the Advances in Autonomous Robotics, 2012

Scaling up controller synthesis for linear systems and safety specifications.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Decentralized event-triggered control with one bit communications.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks.
IEEE Trans. Autom. Control., 2011

Symbolic approximate time-optimal control.
Syst. Control. Lett., 2011

Self-triggered control over wireless sensor and actuator networks.
Proceedings of the Distributed Computing in Sensor Systems, 2011

Decentralized event-triggered control with asynchronous updates.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
An ISS self-triggered implementation of linear controllers.
Autom., 2010

PESSOA: A Tool for Embedded Controller Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Approximate time-optimal control via approximate alternating simulations.
Proceedings of the American Control Conference, 2010

2009
On self-triggered control for linear systems: Guarantees and complexity.
Proceedings of the 10th European Control Conference, 2009

Input-to-state stability of self-triggered control systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
On event-triggered and self-triggered control over sensor/actuator networks.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Reduction of lateral and longitudinal oscillations of vehicle's platooning by means of decentralized overlapping control.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2004
Multi-robot Tracking of a Moving Object Using Directional Sensors.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004


  Loading...