Manuel Mazo Jr.

Peyman Mohajerin Esfahani

IEEE Trans. Autom. Control., July, 2024

Linear Time-Varying Parameter Estimation: Maximum A Posteriori Approach via Semidefinite Programming.

[BibT_eX]

[DOI]

Sasan Vakili

Mohammad Khosravi

IEEE Control. Syst. Lett., 2024

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2024

A Contract Theory for Layered Control Architectures.

[BibT_eX]

[DOI]

CoRR, 2024

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies.

[BibT_eX]

[DOI]

Pio Ong

Aaron D. Ames

CoRR, 2024

Data-driven Interval MDP for Robust Control Synthesis.

[BibT_eX]

[DOI]

CoRR, 2024

Data-Driven Abstractions for Control Systems.

[BibT_eX]

[DOI]

Rudi Coppola

CoRR, 2024

Bounded robustness in reinforcement learning via lexicographic objectives.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2024

2023

Chaos and Order in Event-Triggered Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., November, 2023

A self-guided approach for navigation in a minimalistic foraging robotic swarm.

[BibT_eX]

[DOI]

Steven Adams

Auton. Robots, October, 2023

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems.

[BibT_eX]

[DOI]

Shankara Narayanan Krishna

IEEE Trans. Autom. Control., June, 2023

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.

[BibT_eX]

[DOI]

Paritosh K. Pandya

Formal Aspects Comput., June, 2023

Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Data-Driven Abstractions for Verification of Linear Systems.

[BibT_eX]

[DOI]

Rudi Coppola

IEEE Control. Syst. Lett., 2023

Poster: Convex Scenario Optimisation for ReLU Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Distributionally Robust Strategy Synthesis for Switched Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Interval Markov Decision Processes with Continuous Action-Spaces.

[BibT_eX]

[DOI]

Morteza Lahijanian

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022

Mean Field Behavior of Collaborative Multiagent Foragers.

[BibT_eX]

[DOI]

Pedro J. Zufiria

IEEE Trans. Robotics, 2022

The Wireless Control Bus: Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions.

[BibT_eX]

[DOI]

Matteo Trobinger

ACM Trans. Cyber Phys. Syst., 2022

Data-driven Abstractions for Verification of Deterministic Systems.

[BibT_eX]

[DOI]

Rudi Coppola

CoRR, 2022

Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives.

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Cees Ferdinand Verdier

Niklas Kochdumper

Matthias Althoff

Autom., 2022

A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ivo van Straalen

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Event-Based Communication in Distributed Q-Learning.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2021

Isochronous Partitions for Region-Based Self-Triggered Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Event-Based Communication in Multi-Agent Distributed Q-Learning.

[BibT_eX]

[DOI]

Shankara Narayanan Krishna

CoRR, 2021

Logics Meet 2-Way 1-Clock Alternating Timed Automata.

[BibT_eX]

[DOI]

Khushraj Nanik Madnani

Paritosh K. Pandya

CoRR, 2021

Mean Field Behaviour of Collaborative Multi-Agent Foragers.

[BibT_eX]

[DOI]

Pedro J. Zufiria

CoRR, 2021

Computing the sampling performance of event-triggered control.

[BibT_eX]

[DOI]

Shankara Narayanan Krishna

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.

[BibT_eX]

[DOI]

Paritosh K. Pandya

Proceedings of the Formal Methods - 24th International Symposium, 2021

Self-Triggered Control for Near-Maximal Average Inter-Sample Time.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Lyapunov Event-Triggered Stabilization With a Known Convergence Rate.

[BibT_eX]

[DOI]

Anton V. Proskurnikov

IEEE Trans. Autom. Control., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Formal controller synthesis for hybrid systems using genetic programming.

[BibT_eX]

[DOI]

Cees Ferdinand Verdier

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

Autom., 2020

Convergence of ant colony multi-agent swarms.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Traffic Models of Periodic Event-Triggered Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Periodic event-triggered control with a relaxed triggering condition.

[BibT_eX]

[DOI]

Aleksandra Szymanek

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Communication Schemes for Centralized and Decentralized Event-Triggered Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2018

Symbolic Abstractions of Networked Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Formal Traffic Characterization of LTI Event-Triggered Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

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

[BibT_eX]

[DOI]

Autom., 2018

Lyapunov Design for Event-Triggered Exponential Stabilization.

[BibT_eX]

[DOI]

Anton V. Proskurnikov

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.

[BibT_eX]

[DOI]

Cees Ferdinand Verdier

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimal Symbolic Controllers Determinization for BDD storage.

[BibT_eX]

[DOI]

Ivan S. Zapreev

Cees Verdier

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).

[BibT_eX]

[DOI]

Anton V. Proskurnikov

CoRR, 2017

Asynchronous mix-triggered control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tamás Keviczky

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

Dieky Adzkiya

CoRR, 2016

The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework.

[BibT_eX]

[DOI]

Mani Kaustubh

Dehlia Willemsen

Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Improved asynchronous event-triggered control for linear systems with performance guarantees.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

Timing Abstraction of Perturbed LTI systems with ℒ2-based Event-Triggering Mechanism.

[BibT_eX]

[DOI]

Tamás Keviczky

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Periodic asynchronous event-triggered control.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

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

[BibT_eX]

[DOI]

Sensors, 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Aperiodic Consensus Control for Tracking Nonlinear Trajectories of a Platoon of Vehicles.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Advances on asynchronous event-triggered control.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Event-based Control, 2015

Symbolic abstractions for the scheduling of event-triggered control systems.

[BibT_eX]

[DOI]

Dieky Adzkiya

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems.

[BibT_eX]

[DOI]

Karl Henrik Johansson

IEEE Trans. Ind. Informatics, 2014

Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation.

[BibT_eX]

[DOI]

Carlos Santos

Felipe Espinosa

Robotics Auton. Syst., 2014

Symbolic Models for Networked Control Systems.

[BibT_eX]

[DOI]

Majid Zamani

Alessandro Abate

CoRR, 2014

Asynchronous decentralized event-triggered control.

[BibT_eX]

[DOI]

Autom., 2014

Finite abstractions of networked control systems.

[BibT_eX]

[DOI]

Majid Zamani

Alessandro Abate

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.

[BibT_eX]

[DOI]

Matthias Rungger

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

On symbolic optimal control via approximate simulation relations.

[BibT_eX]

[DOI]

Froukje de Roo

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Design of reward structures for sequential decision-making processes using symbolic analysis.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Adaptive Self-triggered Control of a Remotely Operated Robot.

[BibT_eX]

[DOI]

Carlos Santos

Felipe Espinosa

Proceedings of the Advances in Autonomous Robotics, 2012

Scaling up controller synthesis for linear systems and safety specifications.

[BibT_eX]

[DOI]

Matthias Rungger

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Decentralized event-triggered control with one bit communications.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Symbolic approximate time-optimal control.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2011

Self-triggered control over wireless sensor and actuator networks.

[BibT_eX]

[DOI]

Karl Henrik Johansson

Proceedings of the Distributed Computing in Sensor Systems, 2011

Decentralized event-triggered control with asynchronous updates.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

An ISS self-triggered implementation of linear controllers.

[BibT_eX]

[DOI]

Adolfo Anta Martinez

Autom., 2010

PESSOA: A Tool for Embedded Controller Synthesis.

[BibT_eX]

[DOI]

Anna Davitian

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Approximate time-optimal control via approximate alternating simulations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

2009

On self-triggered control for linear systems: Guarantees and complexity.

[BibT_eX]

[DOI]

Adolfo Anta

Proceedings of the 10th European Control Conference, 2009

Input-to-state stability of self-triggered control systems.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

On event-triggered and self-triggered control over sensor/actuator networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Felipe Espinosa

AbdelBaset M. H. Awawdeh

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2004

Multi-robot Tracking of a Moving Object Using Directional Sensors.

[BibT_eX]

[DOI]