Search Results for author: Ricardo G. Sanfelice

Found 8 papers, 2 papers with code

An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks

no code implementations21 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.

robust synergistic hybrid feedback

1 code implementation31 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.

Control Design under Actuator Saturation and Multi-Rate Sampling

no code implementations19 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.

Robust Output Feedback Control Design in the Presence of Sporadic Measurements

no code implementations9 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.

Notions, Stability, Existence, and Robustness of Limit Cycles in Hybrid Dynamical Systems

no code implementations4 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.

Certifying the LTL Formula p Until q in Hybrid Systems

no code implementations11 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.