no code implementations • 21 Mar 2023 • Santiago Jimenez Leudo, Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas
The design of safe-critical control algorithms for systems under Denial-of-Service (DoS) attacks on the system output is studied in this work.
1 code implementation • 31 Dec 2022 • Pedro Casau, Ricardo G. Sanfelice, Carlos Silvestre
Synergistic hybrid feedback refers to a collection of feedback laws that allow for global asymptotic stabilization of a compact set through the following switching logic: given a collection of Lyapunov functions that are indexed by a logic variable, whenever the currently selected Lyapunov function exceeds the value of another function in the collection by a given margin, then a switch to the corresponding feedback law is triggered.
no code implementations • 19 Oct 2022 • Francesco Ferrante, Ricardo G. Sanfelice, Sophie Tarbouriech
The problem of designing a stabilizing feedback controller in the presence of saturating actuators and multi-rate (asynchronous) aperiodic state measurements is studied.
no code implementations • 9 Aug 2022 • Roberto Merco, Francesco Ferrante, Ricardo G. Sanfelice, Pierluigi Pisu
To cope with the sporadic availability of measurements of the output, a hybrid dynamic output feedback controller equipped with a holding device whose state is reset when a new measurement is available is designed.
no code implementations • 4 Aug 2022 • Xuyang Lou, Yuchun Li, Ricardo G. Sanfelice
This paper deals with existence and robust stability of hybrid limit cycles for a class of hybrid systems given by the combination of continuous dynamics on a flow set and discrete dynamics on a jump set.
2 code implementations • 1 Apr 2022 • Jan de Priester, Ricardo G. Sanfelice, Nathan van de Wouw
Reinforcement learning (RL) is a promising approach for deriving control policies for complex systems.
no code implementations • 11 Jun 2021 • Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by $p \mathcal{U} q$, is satisfied for a hybrid system.
no code implementations • 16 Feb 2021 • Ricardo G. Sanfelice, Laurent Praly
We formulate sufficient and necessary conditions for it to hold.