89 citations · 243 across the 47 of their papers we have counts for
7 papers · 1 filter
Regularity of Optimal Solutions and the Optimal Cost for Hybrid Dynamical Systems via Reachability Analysis
Berk Altın, Ricardo G. Sanfelice
For a general optimal control problem for dynamical systems with hybrid dynamics, we study the dependency of the optimal cost and of the value function on the initial conditions, p…
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…
HyNTP: A Distributed Hybrid Algorithm for Time Synchronization
Marcello Guarro, Ricardo G. Sanfelice
This paper presents a distributed hybrid algorithm that synchronizes the time and rate of a set of clocks connected over a network. Clock measurements of the nodes are given at ape…
Exponentially Converging Distributed Gradient Descent with Intermittent Communication via Hybrid Methods
Katherine Hendrickson, Dawn Hustig-Schultz, Matthew Hale +1
We present a hybrid systems framework for multi-agent optimization in which agents execute computations in continuous time and communicate in discrete time. The optimization algori…
Solutions and Reachable Sets of Hybrid Dynamical Systems: Semicontinuous Dependence on Initial Conditions, Time, and Perturbations
Berk Altın, Ricardo G. Sanfelice
The sequential compactness afforded hybrid systems under mild regularity constraints guarantee outer/upper semicontinuous dependence of solutions on initial conditions and perturba…
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…