89 citations · 243 across the 47 of their papers we have counts for
18 papers · 1 filter
Robust Hybrid Finite-Time Parameter Estimation Without Persistence of Excitation
Adnane Saoud, Ryan S. Johnson, Ricardo G. Sanfelice
In this paper, we consider the problem of estimating parameters of a linear regression model. Using a hybrid systems framework, a hybrid algorithm is proposed allowing the estimate…
Autonomous Satellite Rendezvous via Hybrid Feedback Optimization
Oscar Jed R. Chuy, Matthew T. Hale, Vignesh Sivaramakrishnan +2
As satellites have proliferated, interest has increased in autonomous rendezvous, proximity operations, and docking (ARPOD). A fundamental challenge in these tasks is the uncertain…
An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks
Santiago Jimenez Leudo, Kunal Garg, Ricardo G. Sanfelice +1
The design of safe-critical control algorithms for systems under Denial-of-Service (DoS) attacks on the system output is studied in this work. We aim to address scenarios where att…
robust synergistic hybrid feedback
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 c…
Control Design under Actuator Saturation and Multi-Rate Sampling
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. Specifical…
Robust Output Feedback Control Design in the Presence of Sporadic Measurements
Roberto Merco, Francesco Ferrante, Ricardo G. Sanfelice +1
Output feedback control design for linear time-invariant systems in the presence of sporadic measurements and exogenous perturbations is addressed. To cope with the sporadic availa…
Notions, Stability, Existence, and Robustness of Limit Cycles in Hybrid Dynamical Systems
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…
Control Barrier Function based Attack-Recovery with Provable Guarantees
Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas
This paper studies provable security guarantees for cyber-physical systems (CPS) under actuator attacks. In particular, we consider CPS safety and propose a new attack detection me…
Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers
Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas
This paper studies the security of cyber-physical systems under attacks. Our goal is to design system parameters, such as a set of initial conditions and input bounds so that it is…
Certifying the LTL Formula p Until q in Hybrid Systems
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 , is satisfied for a hybr…
Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part III)
Ricardo G. Sanfelice, Laurent Praly
This paper is the third and final component of a three-part effort on observers contracting a Riemannian distance between the state of the system and its estimate. In Part I, we sh…
A Hybrid Control Algorithm for Gradient-Free Optimization using Conjugate Directions
Alessandro Melis, Ricardo G. Sanfelice, Lorenzo Marconi
The problem of steering a particular class of -dimensional continuous-time dynamical systems towards the minima of a function without gradient information is considered. We prop…
Robust Global Exponential Stabilization on the -Dimensional Sphere with Applications to Trajectory Tracking for Quadrotors
Pedro Casau, Christopher G. Mayhew, Ricardo G. Sanfelice +1
In this paper, we design a hybrid controller that globally exponentially stabilizes a system evolving on the n-dimensional sphere, denoted by Sn. This hybrid controller is induced…
State Estimation with Guaranteed Convergence Speed in the Presence of Sporadic Measurements
Francesco Ferrante, Frédéric Gouaisbaut, Ricardo G. Sanfelice +1
This paper deals with the problem of estimating the state of a linear time-invariant system in the presence of sporadically available measurements and external perturbations. An ob…
Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions
Hyejin Han, Ricardo G. Sanfelice
This paper introduces operators, semantics, characterizations, and solution-independent conditions to guarantee temporal logic specifications for hybrid dynamical systems. Hybrid d…
Dynamical Properties of a Two-gene Network with Hysteresis
Qin Shu, Ricardo G. Sanfelice
A mathematical model for a two-gene regulatory network is derived and several of their properties analyzed. Due to the presence of mixed continuous/discrete dynamics and hysteresis…
A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera
Qin Shu, Diana Catalina Ardila, Ricardo G. Sanfelice +1
Myopia in human and animals is caused by the axial elongation of the eye and is closely linked to the thinning of the sclera which supports the eye tissue. This thinning has been c…
Robust Supervisory Control for Uniting Two Output-Feedback Hybrid Controllers with Different Objectives
Ricardo G. Sanfelice, Christophe Prieur
The problem of robustly, asymptotically stabilizing a point (or a set) with two output-feedback hybrid controllers is considered. These control laws may have different objectives,…