Showing 1–27 of 27 results for author: Sanfelice, R G

Distributed Nonconvex Optimization with Exponential Convergence Rate via Hybrid Systems Methods

Authors: Katherine R. Hendrickson, Dawn M. Hustig-Schultz, Matthew T. Hale, Ricardo G. Sanfelice

Abstract: We present a hybrid systems framework for distributed multi-agent optimization in which agents execute computations in continuous time and communicate in discrete time. The optimization algorithm is analogous to a continuous-time form of parallelized coordinate descent. Agents implement an update-and-hold strategy in which gradients are computed at communication times and held constant during flow… ▽ More We present a hybrid systems framework for distributed multi-agent optimization in which agents execute computations in continuous time and communicate in discrete time. The optimization algorithm is analogous to a continuous-time form of parallelized coordinate descent. Agents implement an update-and-hold strategy in which gradients are computed at communication times and held constant during flows between communications. The completeness of solutions under these hybrid dynamics is established. Then, we prove that this system is globally exponentially stable to a minimizer of a possibly nonconvex, smooth objective function that satisfies the Polyak-Lojasiewicz (PL) condition. Simulation results are presented for four different applications and illustrate the convergence rates and the impact of initial conditions upon convergence. △ Less

Submitted 20 January, 2025; originally announced February 2025.

Comments: 26 pages, 4 figures, currently under review

Two-Player Zero-Sum Hybrid Games

Authors: Santiago J. Leudo, Ricardo G. Sanfelice

Abstract: In this paper, we formulate a two-player zero-sum game under dynamic constraints defined by hybrid dynamical equations. The game consists of a min-max problem involving a cost functional that depends on the actions and resulting solutions to the hybrid system, defined as functions of hybrid time and, hence, can flow or jump. A terminal set conveniently defined allows to recast both finite and infi… ▽ More In this paper, we formulate a two-player zero-sum game under dynamic constraints defined by hybrid dynamical equations. The game consists of a min-max problem involving a cost functional that depends on the actions and resulting solutions to the hybrid system, defined as functions of hybrid time and, hence, can flow or jump. A terminal set conveniently defined allows to recast both finite and infinite horizon problems. We present sufficient conditions given in terms of Hamilton-Jacobi-Bellman-Isaacs-like equations to guarantee to attain a solution to the game. It is shown that when the players select the optimal strategy, the value function can be evaluated without computing solutions to the hybrid system. Under additional conditions, we show that the optimal state-feedback laws render a set of interest asymptotically stable for the resulting hybrid closed-loop system. Applications of these games, presented here as robust control problems, include disturbance rejection and security problems. △ Less

Submitted 16 May, 2025; v1 submitted 14 July, 2024; originally announced July 2024.

Comments: 21 pages

Robust Parameter Estimation for Hybrid Dynamical Systems

Authors: Ryan S. Johnson, Stefano Di Cairano, Ricardo G. Sanfelice

Abstract: We consider the problem of estimating a vector of unknown constant parameters for a class of hybrid dynamical systems -- that is, systems whose state variables exhibit both continuous (flow) and discrete (jump) evolution. Using a hybrid systems framework, we propose a hybrid estimation algorithm that can operate during both flows and jumps that, under a notion of hybrid persistence of excitation,… ▽ More We consider the problem of estimating a vector of unknown constant parameters for a class of hybrid dynamical systems -- that is, systems whose state variables exhibit both continuous (flow) and discrete (jump) evolution. Using a hybrid systems framework, we propose a hybrid estimation algorithm that can operate during both flows and jumps that, under a notion of hybrid persistence of excitation, guarantees convergence of the parameter estimate to the true value. Furthermore, we show that the parameter estimate is input-to-state stable with respect to a class of hybrid disturbances. Simulation results including a spacecraft application show the merits of our proposed approach. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems

Authors: Adnane Saoud, Mohamed Maghenem, Antonio Loría, Ricardo G. Sanfelice

Abstract: We propose a framework to analyze stability for a class of linear non-autonomous hybrid systems, where the continuous evolution of solutions is governed by an ordinary differential equation and the instantaneous changes are governed by a difference equation. Furthermore, the jumps are triggered by the influence of an external hybrid signal. The proposed framework builds upon a generalization of th… ▽ More We propose a framework to analyze stability for a class of linear non-autonomous hybrid systems, where the continuous evolution of solutions is governed by an ordinary differential equation and the instantaneous changes are governed by a difference equation. Furthermore, the jumps are triggered by the influence of an external hybrid signal. The proposed framework builds upon a generalization of the well-known persistency of excitation (PE) and uniform observability (UO) notions to the realm of hybrid systems. That is, we establish conditions, under which, hybrid PE implies hybrid UO and, in turn, uniform exponential stability (UES) and input-to-state stability (ISS). Our proofs rely on an original statement for hybrid systems, expressed in terms of Lp bounds on the solutions. We demonstrate the utility of our results on generic adaptive estimation problems. The first one concerns the so-called gradient systems, reminiscent of the popular gradient-descent algorithm. The second one pertains to designing adaptive observers/identifiers for a class of hybrid systems that are nonlinear in the input and the output, and linear in the unknown parameters. In both cases, we illustrate through examples that the proposed hybrid framework succeeds when the classic purely continuous- or discrete-time counterparts fail. △ Less

Submitted 23 January, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

Comments: 30 pages, 6 figures. This is v2. Some corrections were added, relative to v1

MSC Class: 34A38; 93B30; 93B53; 93C40

Optimal Safety for Constrained Differential Inclusions using Nonsmooth Control Barrier Functions

Authors: Masoumeh Ghanbarpour, Axton Isaly, Ricardo G. Sanfelice, Warren E. Dixon

Abstract: For a broad class of nonlinear systems, we formulate the problem of guaranteeing safety with optimality under constraints. Specifically, we define controlled safety for differential inclusions with constraints on the states and the inputs. Through the use of nonsmooth analysis tools, we show that a continuous optimal control law can be selected from a set-valued constraint capturing the system con… ▽ More For a broad class of nonlinear systems, we formulate the problem of guaranteeing safety with optimality under constraints. Specifically, we define controlled safety for differential inclusions with constraints on the states and the inputs. Through the use of nonsmooth analysis tools, we show that a continuous optimal control law can be selected from a set-valued constraint capturing the system constraints and conditions guaranteeing safety using control barrier functions. Our results guarantee optimality and safety via a continuous state-feedback law designed using nonsmooth control barrier functions. An example pertaining to obstacle avoidance with a target illustrates our results and the associated benefits of using nonsmooth control barrier functions. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: Submitted to LCSS

An Adaptive Hybrid Control Algorithm for Sender-Receiver Clock Synchronization

Authors: Marcello Guarro, Ricardo G. Sanfelice

Abstract: This paper presents an innovative hybrid systems approach to the sender-receiver synchronization of timers. Via the hybrid systems framework, we unite the traditional sender-receiver algorithm for clock synchronization with an online, adaptive strategy to achieve synchronization of the clock rates to exponentially synchronize a pair of clocks connected over a network. Following the conventions of… ▽ More This paper presents an innovative hybrid systems approach to the sender-receiver synchronization of timers. Via the hybrid systems framework, we unite the traditional sender-receiver algorithm for clock synchronization with an online, adaptive strategy to achieve synchronization of the clock rates to exponentially synchronize a pair of clocks connected over a network. Following the conventions of the algorithm, clock measurements of the nodes are given at periodic time instants, and each node uses these measurements to achieve synchronization. For this purpose, we introduce a hybrid system model of a network with continuous and impulsive dynamics that captures the sender-receiver algorithm as a state-feedback controller to synchronize the network clocks. Moreover, we provide sufficient design conditions that ensure attractivity of the synchronization set. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Control Barrier Function based Attack-Recovery with Provable Guarantees

Authors: Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas

Abstract: 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 mechanism based on zeroing control barrier function (ZCBF) conditions. In addition, we design an adaptive recovery mechanism based on how close the system is to violating safety. We show that under certain conditions, the… ▽ More 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 mechanism based on zeroing control barrier function (ZCBF) conditions. In addition, we design an adaptive recovery mechanism based on how close the system is to violating safety. We show that under certain conditions, the attack-detection mechanism is sound, i.e., there are no false negatives for adversarial attacks. We propose sufficient conditions for the initial conditions and input constraints so that the resulting CPS is secure by design. We also propose a novel hybrid control to account for attack detection delays and avoid Zeno behavior. Next, to efficiently compute the set of initial conditions, we propose a sampling-based method to verify whether a set is a viability domain. Specifically, we devise a method for checking a modified barrier function condition on a finite set of points to assess whether a set can be rendered forward invariant. Then, we propose an iterative algorithm to compute the set of initial conditions and input constraints set to limit the effect of an adversary if it compromises vulnerable inputs. Finally, we use a Quadratic Programming (QP) approach for online recovery (as well as nominal) control synthesis. We demonstrate the effectiveness of the proposed method in a simulation case study involving a quadrotor with an attack on its motors. △ Less

Submitted 19 February, 2025; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: V1: Conference version (IEEE CDC'2022) V2: Journal version (submitted to IEEE Transactions on Automatic Control)

Uniting Nesterov and Heavy Ball Methods for Uniform Global Asymptotic Stability of the Set of Minimizers

Authors: Dawn M. Hustig-Schultz, Ricardo G. Sanfelice

Abstract: We propose a hybrid control algorithm that guarantees fast convergence and uniform global asymptotic stability of the unique minimizer of a continuously differentiable, convex objective function. The algorithm, developed using hybrid system tools, employs a uniting control strategy, in which Nesterov's accelerated gradient descent is used "globally" and the heavy ball method is used "locally," rel… ▽ More We propose a hybrid control algorithm that guarantees fast convergence and uniform global asymptotic stability of the unique minimizer of a continuously differentiable, convex objective function. The algorithm, developed using hybrid system tools, employs a uniting control strategy, in which Nesterov's accelerated gradient descent is used "globally" and the heavy ball method is used "locally," relative to the minimizer. Without knowledge of its location, the proposed hybrid control strategy switches between these accelerated methods to ensure convergence to the minimizer without oscillations, with a (hybrid) convergence rate that preserves the convergence rates of the individual optimization algorithms. We analyze key properties of the resulting closed-loop system including existence of solutions, uniform global asymptotic stability, and convergence rate. Additionally, stability properties of Nesterov's method are analyzed, and extensions on convergence rate results in the existing literature are presented. Numerical results validate the findings and demonstrate the robustness of the uniting algorithm. △ Less

Submitted 6 October, 2023; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: The technical report accompanying "Uniting Nesterov and Heavy Ball Methods for Uniform Global Asymptotic Stability of the Set of Minimizers", accepted to Automatica, 2023. Minor revisions to have been made to make this version consistent with the final journal version

MSC Class: 93C30; 37N40; 37C75; 37N35; 93D20; 65L20

Necessary and Sufficient Conditions for the Nonincrease of Scalar Functions Along Solutions to Constrained Differential Inclusions

Authors: Mohamed Maghenem, Alessandro Melis, Ricardo G. Sanfelice

Abstract: In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. The problem of determining if a function is nonincreasing appears in the study of stability and safety, typically using Lyapunov and barrier functions, respectively. The results in this paper present infinitesimal conditi… ▽ More In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. The problem of determining if a function is nonincreasing appears in the study of stability and safety, typically using Lyapunov and barrier functions, respectively. The results in this paper present infinitesimal conditions that do not require any knowledge about the solutions to the system. Results under different regularity properties of the considered scalar function are provided. This includes when the scalar function is lower semicontinuous, locally Lipschitz and regular, or continuously differentiable. △ Less

Submitted 31 January, 2022; originally announced January 2022.

On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions

Authors: Mohamed Maghenem, Ricardo. G. Sanfelice

Abstract: This paper presents converse theorems for safety in terms of barrier functions for unconstrained continuous-time systems modeled as differential inclusions. Via a counterexample, we show the lack of existence of autonomous and continuous barrier functions certifying safety for a nonlinear system that is not only safe but also has a smooth right-hand side. Guided by converse Lyapunov theorems for (… ▽ More This paper presents converse theorems for safety in terms of barrier functions for unconstrained continuous-time systems modeled as differential inclusions. Via a counterexample, we show the lack of existence of autonomous and continuous barrier functions certifying safety for a nonlinear system that is not only safe but also has a smooth right-hand side. Guided by converse Lyapunov theorems for (non-asymptotic) stability,time-varying barrier functions and appropriate infinitesimal conditions are shown to be both necessary as well as sufficient under mild regularity conditions on the right-hand side of the system. More precisely, we propose a general construction of a time-varying barrier function in terms of a marginal function involving the finite-horizon reachable set. Using techniques from set-valued and nonsmooth analysis, we show that such a function guarantees safety when the system is safe. Furthermore, we show that the proposed barrier function construction inherits the regularity properties of the proposed reachable set. In addition, when the system is safe and smooth, we build upon the constructed barrier function to show the existence of a smooth barrier function guaranteeing safety. Comparisons and relationships to results in the literature are also presented. △ Less

Submitted 5 April, 2023; v1 submitted 31 January, 2022; originally announced January 2022.

Regularity of Optimal Solutions and the Optimal Cost for Hybrid Dynamical Systems via Reachability Analysis

Authors: Berk Altın, Ricardo G. Sanfelice

Abstract: 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, parameters, and perturbations. We show that upper and lower semicontinuous dependence of solutions on initial conditions -- properties that are captured by outer and inner well-posedness, respectively -- lead to the exist… ▽ More 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, parameters, and perturbations. We show that upper and lower semicontinuous dependence of solutions on initial conditions -- properties that are captured by outer and inner well-posedness, respectively -- lead to the existence of a solution to the hybrid optimal control problem and upper/lower semicontinuity of the optimal cost. In particular, by exploiting properties of finite horizon reachable sets for hybrid systems, we show that the optimal cost varies upper semicontinuously when the hybrid system is (nominally) outer well-posed, and lower semicontinuously when it is (nominally) inner well-posed and an additional assumption requiring partial knowledge of solutions. Consequently, when the system is both (nominally) inner and outer well-posed and the aforementioned assumption holds, the optimal cost varies continuously, and optimal solutions vary upper semicontinuously. We further show that even in the absence of this solution-based assumption, the optimal cost can be continuously approximated. The results are demonstrated in finite horizon optimization problems with hybrid dynamics, both theoretically and numerically. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 17 pages. Version submitted for review

Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers

Authors: Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas

Abstract: 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 secure by design. To this end, we propose new sufficient conditions to guarantee the safety of a system under adversarial actuator attacks. Using these conditions, we propose a computationally efficient sampling-based m… ▽ More 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 secure by design. To this end, we propose new sufficient conditions to guarantee the safety of a system under adversarial actuator attacks. Using these conditions, we propose a computationally efficient sampling-based method to verify whether a set is a viability domain for a general class of nonlinear systems. In particular, we devise a method of checking a modified barrier function condition on a finite set of points to assess whether a set can be rendered forward invariant. Then, we propose an iterative algorithm to compute the set of initial conditions and input constraint set to limit what an adversary can do if it compromises the vulnerable inputs. Finally, we utilize a Quadratic Program approach for online control synthesis. △ Less

Submitted 16 October, 2021; originally announced October 2021.

HyNTP: A Distributed Hybrid Algorithm for Time Synchronization

Authors: Marcello Guarro, Ricardo G. Sanfelice

Abstract: 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 aperiodic time instants and the controller at each node uses these measurements to achieve synchronization. Due to the continuous and impulsive nature of the clocks and the network, we introduce a hybrid system model to eff… ▽ More 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 aperiodic time instants and the controller at each node uses these measurements to achieve synchronization. Due to the continuous and impulsive nature of the clocks and the network, we introduce a hybrid system model to effectively capture the dynamics of the system and the proposed hybrid algorithm. Moreover, the hybrid algorithm allows each agent to estimate the skew of its internal clock in order to allow for synchronization to a common timer rate. We provide sufficient conditions guaranteeing synchronization of the timers, exponentially fast. Numerical results illustrate the synchronization property induced by the proposed algorithm as well as its performance against comparable algorithms from the literature. △ Less

Submitted 8 July, 2022; v1 submitted 1 May, 2021; originally announced May 2021.

Exponentially Converging Distributed Gradient Descent with Intermittent Communication via Hybrid Methods

Authors: Katherine Hendrickson, Dawn Hustig-Schultz, Matthew Hale, Ricardo G. Sanfelice

Abstract: 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 algorithm is a hybrid version of parallelized coordinate descent. Agents implement a sample-and-hold strategy in which gradients are computed at communication times and held constant during flows between communications. Comple… ▽ More 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 algorithm is a hybrid version of parallelized coordinate descent. Agents implement a sample-and-hold strategy in which gradients are computed at communication times and held constant during flows between communications. Completeness of maximal solutions under these hybrid dynamics is established. Under assumptions of smoothness and strong convexity, we show that this system exponentially converges to the minimizer of an objective function. Simulation results illustrate this convergence rate. △ Less

Submitted 30 September, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

Solutions and Reachable Sets of Hybrid Dynamical Systems: Semicontinuous Dependence on Initial Conditions, Time, and Perturbations

Authors: Berk Altın, Ricardo G. Sanfelice

Abstract: The sequential compactness afforded hybrid systems under mild regularity constraints guarantee outer/upper semicontinuous dependence of solutions on initial conditions and perturbations. For reachable sets of hybrid systems, this property leads to upper semicontinuous dependence with respect to initial conditions, time, and perturbations. Motivated by these results, we define a counterpart to sequ… ▽ More The sequential compactness afforded hybrid systems under mild regularity constraints guarantee outer/upper semicontinuous dependence of solutions on initial conditions and perturbations. For reachable sets of hybrid systems, this property leads to upper semicontinuous dependence with respect to initial conditions, time, and perturbations. Motivated by these results, we define a counterpart to sequential compactness and show that it leads to lower semicontinuous dependence of solutions on initial conditions and perturbations. In the sequel, it is shown that under appropriate assumptions, reachable sets of systems possessing this novel property depend lower semicontinuously on initial conditions, time, and perturbations. When those assumptions fail, continuous approximations of reachable sets turn out to be still possible. Necessary and sufficient conditions for the introduced property are given by a combination of geometric constraints, regularity assumptions, and tangentiality conditions. Further applications to simulations and optimal control of hybrid systems are discussed. △ Less

Submitted 16 October, 2022; v1 submitted 26 March, 2021; originally announced March 2021.

Comments: 21 pages. Technical report accompanying journal version to appear in Automatica

Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part III)

Authors: Ricardo G. Sanfelice, Laurent Praly

Abstract: 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 showed that such a contraction property holds if the system dynamics and the Riemannian metric satisfy two key conditions: a differential detectability property and a geodesic monotonicity property. With the former conditi… ▽ More 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 showed that such a contraction property holds if the system dynamics and the Riemannian metric satisfy two key conditions: a differential detectability property and a geodesic monotonicity property. With the former condition being the focus of Part II, in this Part III, we study the latter condition in relationship to the nullity of the second fundamental form of the output function. We formulate sufficient and necessary conditions for it to hold. We establish a link between it and the infinite gain margin property, and we provide a systematic way for constructing a metric satisfying this condition. Finally, we illustrate cases where both conditions hold and propose ways to facilitate the satisfaction of these two conditions together. △ Less

Submitted 4 May, 2023; v1 submitted 16 February, 2021; originally announced February 2021.

Comments: 95 pages, Version submitted for review

Further results on synergistic Lyapunov functions and hybrid feedback design through backstepping

Authors: Christopher G. Mayhew, Ricardo G. Sanfelice, Andrew R. Teel

Abstract: We extend results on backstepping hybrid feedbacks by exploiting synergistic Lyapunov function and feedback (SLFF) pairs in a generalized form. Compared to existing results, we delineate SLFF pairs that are ready-made and do not require extra dynamic variables for backstepping. From an (weak) SLFF pair for an affine control system, we construct an SLFF pair for an extended system where the control… ▽ More We extend results on backstepping hybrid feedbacks by exploiting synergistic Lyapunov function and feedback (SLFF) pairs in a generalized form. Compared to existing results, we delineate SLFF pairs that are ready-made and do not require extra dynamic variables for backstepping. From an (weak) SLFF pair for an affine control system, we construct an SLFF pair for an extended system where the control input is produced through an integrator. The resulting hybrid feedback asymptotically stabilizes the extended system when the synergy gap for the original system is strictly positive. To highlight the versatility of SLFF pairs, we provide a result on the existence of a SLFF pair whenever a hybrid feedback stabilizer exists. The results are illustrated on the 3D pendulum. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Comments: Report version of IEEE CDC 2011 paper

Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions

Authors: Mohamed Maghenem, Ricardo G. Sanfelice

Abstract: This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier functions, we investigate the tightest possible sufficient conditions to guarantee different forward invariance and contractivity notions of a closed set for hybrid systems with nonuniqueness of solutions and solutions termin… ▽ More This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier functions, we investigate the tightest possible sufficient conditions to guarantee different forward invariance and contractivity notions of a closed set for hybrid systems with nonuniqueness of solutions and solutions terminating prematurely. More precisely, we consider forward (pre-)invariance of sets, which guarantees solutions to stay in a set, and (pre-)contractivity, which further requires solutions that reach the boundary of the set to evolve (continuously or discretely) towards its interior. Our conditions for forward invariance and contractivity involve infinitesimal conditions in terms of multiple barrier functions. Examples illustrate the results. Keywords: Forward invariance, contractivity, barrier functions, hybrid dynamical systems. △ Less

Submitted 23 February, 2022; v1 submitted 11 August, 2019; originally announced August 2019.

Comments: Technical report accompanying the paper entitled: Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions, submitted to Automatica, 2019

Forward Invariance of Sets for Hybrid Dynamical Systems (Part I)

Authors: Jun Chai, Ricardo G. Sanfelice

Abstract: In this paper, tools to study forward invariance properties with robustness to dis- turbances, referred to as robust forward invariance, are proposed for hybrid dynamical systems modeled as hybrid inclusions. Hybrid inclusions are given in terms of dif- ferential and difference inclusions with state and disturbance constraints, for whose definition only four objects are required. The proposed robu… ▽ More In this paper, tools to study forward invariance properties with robustness to dis- turbances, referred to as robust forward invariance, are proposed for hybrid dynamical systems modeled as hybrid inclusions. Hybrid inclusions are given in terms of dif- ferential and difference inclusions with state and disturbance constraints, for whose definition only four objects are required. The proposed robust forward invariance notions allow for the diverse type of solutions to such systems (with and without dis- turbances), including solutions that have persistent flows and jumps, that are Zeno, and that stop to exist after finite amount of (hybrid) time. Sufficient conditions for sets to enjoy such properties are presented. These conditions are given in terms of the objects defining the hybrid inclusions and the set to be rendered robust forward invariant. In addition, as special cases, these conditions are exploited to state results on nominal forward invariance for hybrid systems without disturbances. Furthermore, results that provide conditions to render the sublevel sets of Lyapunov-like functions forward invariant are established. Analysis of a controlled inverter system is presented as an application of our results. Academic examples are given throughout the paper to illustrate the main ideas. △ Less

Submitted 15 August, 2018; originally announced August 2018.

Comments: 39 pages, 7 figures, accepted to TAC

Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions

Authors: Hyejin Han, Ricardo G. Sanfelice

Abstract: This paper introduces operators, semantics, characterizations, and solution-independent conditions to guarantee temporal logic specifications for hybrid dynamical systems. Hybrid dynamical systems are given in terms of differential inclusions -- capturing the continuous dynamics -- and difference inclusions -- capturing the discrete dynamics or events -- with constraints. State trajectories (or so… ▽ More This paper introduces operators, semantics, characterizations, and solution-independent conditions to guarantee temporal logic specifications for hybrid dynamical systems. Hybrid dynamical systems are given in terms of differential inclusions -- capturing the continuous dynamics -- and difference inclusions -- capturing the discrete dynamics or events -- with constraints. State trajectories (or solutions) to such systems are parameterized by a hybrid notion of time. For such broad class of solutions, the operators and semantics needed to reason about temporal logic are introduced. Characterizations of temporal logic formulas in terms of dynamical properties of hybrid systems are presented -- in particular, forward invariance and finite time attractivity. These characterizations are exploited to formulate sufficient conditions assuring the satisfaction of temporal logic formulas -- when possible, these conditions do not involve solution information. Combining the results for formulas with a single operator, ways to certify more complex formulas are pointed out, in particular, via a decomposition using a finite state automaton. Academic examples illustrate the results throughout the paper. △ Less

Submitted 15 June, 2020; v1 submitted 6 July, 2018; originally announced July 2018.

Comments: 35 pages. The technical report accompanying "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions" submitted to Nonlinear Analysis: Hybrid Systems, 2019

Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part II)

Authors: Ricardo G. Sanfelice, Laurent Praly

Abstract: In [1], it is established that a convergent observer with an infinite gain margin can be designed for a given nonlinear system when a Riemannian metric showing that the system is differentially detectable (i.e., the Lie derivative of the Riemannian metric along the system vector field is negative in the space tangent to the output function level sets) and the level sets of the output function are… ▽ More In [1], it is established that a convergent observer with an infinite gain margin can be designed for a given nonlinear system when a Riemannian metric showing that the system is differentially detectable (i.e., the Lie derivative of the Riemannian metric along the system vector field is negative in the space tangent to the output function level sets) and the level sets of the output function are geodesically convex is available. In this paper, we propose techniques for designing a Riemannian metric satisfying the first property in the case where the system is strongly infinitesimally observable (i.e., each time-varying linear system resulting from the linearization along a solution to the system satisfies a uniform observability property) or where it is strongly differentially observable (i.e. the mapping state to output derivatives is an injective immersion) or where it is Lagrangian. Also, we give results that are complementary to those in [1]. In particular, we provide a locally convergent observer and make a link to the existence of a reduced order observer. Examples illustrating the results are presented. △ Less

Submitted 19 June, 2016; originally announced June 2016.

Comments: 33 pages, Version published in IEEE Transactions in Automatic Control, 2016

Interconnected Observers for Robust Decentralized Estimation with Performance Guarantees and Optimized Connectivity Graph

Authors: Yuchun Li, Ricardo G. Sanfelice

Abstract: Motivated by the need of observers that are both robust to disturbances and guarantee fast convergence to zero of the estimation error, we propose an observer for linear time-invariant systems with noisy output that consists of the combination of N coupled observers over a connectivity graph. At each node of the graph, the output of these interconnected observers is defined as the average of the e… ▽ More Motivated by the need of observers that are both robust to disturbances and guarantee fast convergence to zero of the estimation error, we propose an observer for linear time-invariant systems with noisy output that consists of the combination of N coupled observers over a connectivity graph. At each node of the graph, the output of these interconnected observers is defined as the average of the estimates obtained using local information. The convergence rate and the robustness to measurement noise of the proposed observer's output are characterized in terms of $\mathcal{KL}$ bounds. Several optimization problems are formulated to design the proposed observer so as to satisfy a given rate of convergence specification while minimizing the $H_\infty$ gain from noise to estimates or the size of the connectivity graph. It is shown that that the interconnected observers relax the well-known tradeoff between rate of convergence and noise amplification, which is a property attributed to the proposed innovation term that, over the graph, couples the estimates between the individual observers. Sufficient conditions involving information of the plant only, assuring that the estimate obtained at each node of the graph outperforms the one obtained with a single, standard Luenberger observer are given. The results are illustrated in several examples throughout the paper. △ Less

Submitted 30 March, 2015; originally announced March 2015.

Comments: The technical report accompanying "Interconnected Observers for Robust Decentralized Estimation with Performance Guarantees and Optimized Connectivity Graph" to be published in IEEE Transactions on Control of Network Systems, 2015

Robust Asymptotic Stability of Desynchronization in Impulse-Coupled Oscillators

Authors: Sean Phillips, Ricardo G. Sanfelice

Abstract: The property of desynchronization in an all-to-all network of homogeneous impulse-coupled oscillators is studied. Each impulse-coupled oscillator is modeled as a hybrid system with a single timer state that self-resets to zero when it reaches a threshold, at which event all other impulse-coupled oscillators adjust their timers following a common reset law. In this setting, desynchronization is con… ▽ More The property of desynchronization in an all-to-all network of homogeneous impulse-coupled oscillators is studied. Each impulse-coupled oscillator is modeled as a hybrid system with a single timer state that self-resets to zero when it reaches a threshold, at which event all other impulse-coupled oscillators adjust their timers following a common reset law. In this setting, desynchronization is considered as each impulse-coupled oscillator's timer having equal separation between successive resets. We show that, for the considered model, desynchronization is an asymptotically stable property. For this purpose, we recast desynchronization as a set stabilization problem and employ Lyapunov stability tools for hybrid systems. Furthermore, several perturbations are considered showing that desynchronization is a robust property. Perturbations on both the continuous and discrete dynamics are considered. Numerical results are presented to illustrate the main contributions. △ Less

Submitted 30 March, 2015; v1 submitted 24 February, 2015; originally announced February 2015.

Comments: The technical report accompanying "Robust Asymptotic Stability of Desynchronization in Impulse-Coupled Oscillators" to be published in IEEE Transactions on Control of Network Systems, 2015

Distance function design and Lyapunov techniques for the stability of hybrid trajectories

Authors: J. J. Benjamin Biemond, W. P. Maurice H. Heemels, Ricardo G. Sanfelice, Nathan van de Wouw

Abstract: The comparison between time-varying hybrid trajectories is crucial for tracking, observer design and synchronisation problems for hybrid systems with state-triggered jumps. In this paper, a systematic way of designing an appropriate distance function is proposed that can be used for this purpose. The so-called "peaking phenomenon", which occurs when using the Euclidean distance to compare two hybr… ▽ More The comparison between time-varying hybrid trajectories is crucial for tracking, observer design and synchronisation problems for hybrid systems with state-triggered jumps. In this paper, a systematic way of designing an appropriate distance function is proposed that can be used for this purpose. The so-called "peaking phenomenon", which occurs when using the Euclidean distance to compare two hybrid trajectories, is circumvented by taking the hybrid nature of the system explicitly into account in the design of the distance function. Based on the proposed distance function, we define the stability of a trajectory of a hybrid system with state-triggered jumps and present sufficient Lyapunov-type conditions for stability of a hybrid trajectory. A constructive design method for the distance function is presented for hybrid systems with affine flow and jump maps and a jump set that is a hyperplane. For this case, the mentioned Lyapunov-type stability conditions can be verified using linear matrix conditions. Finally, for this class of systems, we present a tracking controller that asymptotically stabilises a given hybrid reference trajectory, and we illustrate our results with examples. △ Less

Submitted 31 December, 2014; originally announced January 2015.

Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part I)

Authors: Ricardo G. Sanfelice, Laurent Praly

Abstract: We study how convergence of an observer whose state lives in a copy of the given system's space can be established using a Riemannian metric. We show that the existence of an observer guaranteeing the property that a Riemannian distance between system and observer solutions is nonincreasing implies that the Lie derivative of the Riemannian metric along the system vector field is conditionally nega… ▽ More We study how convergence of an observer whose state lives in a copy of the given system's space can be established using a Riemannian metric. We show that the existence of an observer guaranteeing the property that a Riemannian distance between system and observer solutions is nonincreasing implies that the Lie derivative of the Riemannian metric along the system vector field is conditionally negative. Moreover, we establish that the existence of this metric is related to the observability of the system's linearization along its solutions. Moreover, if the observer has an infinite gain margin then the level sets of the output function are geodesically convex. Conversely, we establish that, if a complete Riemannian metric has a Lie derivative along the system vector field that is conditionally negative and is such that the output function has a monotonicity property, then there exists an observer with an infinite gain margin. △ Less

Submitted 14 July, 2015; v1 submitted 21 December, 2014; originally announced December 2014.

Comments: 30 pages, Version published in IEEE Transactions in Automatic Control, 2012

Dynamical Properties of a Two-gene Network with Hysteresis

Authors: Qin Shu, Ricardo G. Sanfelice

Abstract: 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, we employ a hybrid systems model to capture the dynamics of the system. The proposed model incorporates binary hysteresis with different thresholds capturing the interaction between the genes. We analyze properties of… ▽ More 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, we employ a hybrid systems model to capture the dynamics of the system. The proposed model incorporates binary hysteresis with different thresholds capturing the interaction between the genes. We analyze properties of the solutions and asymptotic stability of equilibria in the system as a function of its parameters. Our analysis reveals the presence of limit cycles for a certain range of parameters, behavior that is associated with hysteresis. The set of points defining the limit cycle is characterized and its asymptotic stability properties are studied. Furthermore, the stability property of the limit cycle is robust to small perturbations. Numerical simulations are presented to illustrate the results. △ Less

Submitted 1 February, 2014; originally announced February 2014.

Comments: 55 pages, 31 figures.Expanded version of paper in Special Issue on Hybrid Systems and Biology, Elsevier Information and Computation, 2014

Report number: HDC-2014-001

On Minimum-time Paths of Bounded Curvature with Position-dependent Constraints

Authors: Ricardo G. Sanfelice, Sze Zheng Yong, Emilio Frazzoli

Abstract: We consider the problem of a particle traveling from an initial configuration to a final configuration (given by a point in the plane along with a prescribed velocity vector) in minimum time with non-homogeneous velocity and with constraints on the minimum turning radius of the particle over multiple regions of the state space. Necessary conditions for optimality of these paths are derived to char… ▽ More We consider the problem of a particle traveling from an initial configuration to a final configuration (given by a point in the plane along with a prescribed velocity vector) in minimum time with non-homogeneous velocity and with constraints on the minimum turning radius of the particle over multiple regions of the state space. Necessary conditions for optimality of these paths are derived to characterize the nature of optimal paths, both when the particle is inside a region and when it crosses boundaries between neighboring regions. These conditions are used to characterize families of optimal and nonoptimal paths. Among the optimality conditions, we derive a "refraction" law at the boundary of the regions that generalizes the so-called Snell's law of refraction in optics to the case of paths with bounded curvature. Tools employed to deduce our results include recent principles of optimality for hybrid systems. The results are validated numerically. △ Less

Submitted 9 January, 2014; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: Expanded version of paper in Automatica