Hybrid dynamical systems with hybrid inputs: Definition of solutions and applications to interconnections

Funding information Air Force Office of Scientific Research, Grant/Award Number: FA9550-16-1-0015; Air Force Research Laboratory, Grant/Award Number: FA9453-16-1-0053; CITRIS and the Banatao Institute; National Science Foundation, Grant/Award Number: CNS-1544396, ECS-1450484, and ECS-1710621 Summary In this paper, we define solutions for hybrid systems with prespecified hybrid inputs. Unlike previous work where solutions and inputs are assumed to be defined on the same domain a priori, we consider the case where intervals of flow and jump times of the input are not necessarily synchronized with those of the state trajectory. This happens in particular when the input is the output of another hybrid system, for instance, in the context of observer design or reference tracking. The proposed approach relies on reparametrizing the jumps of the input in order to write it on a common domain. The solutions then consist of a pair made of the state trajectory and the reparametrized input. Our definition generalizes the notions of solutions of continuous-time and discrete-time systems with inputs. We provide an algorithm that automatically performs the construction of solutions for a given hybrid input. In the context of hybrid interconnections, we show how the solutions of the individual systems can be linked to the solutions of a closed-loop system. Examples illustrate the notions and the proposed algorithm.

[1]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[2]  Enrique A. Medina,et al.  State estimation for linear impulsive systems , 2009, 2009 American Control Conference.

[3]  Ricardo G. Sanfelice,et al.  An Algorithm to Generate Solutions to Hybrid Dynamical Systems with Inputs , 2019, 2019 American Control Conference (ACC).

[4]  Ricardo G. Sanfelice,et al.  A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox , 2013, HSCC '13.

[5]  Hyungbo Shim,et al.  Observability for Switched Linear Systems: Characterization and Observer Design , 2013, IEEE Transactions on Automatic Control.

[6]  Eduardo Sontag,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.

[7]  Eduardo Sontag,et al.  Output-to-state stability and detectability of nonlinear systems , 1997 .

[8]  A. Teel A nonlinear small gain theorem for the analysis of control systems with saturation , 1996, IEEE Trans. Autom. Control..

[9]  Ricardo G. Sanfelice,et al.  Input-Output-to-State Stability Tools for Hybrid Systems and Their Interconnections , 2014, IEEE Transactions on Automatic Control.

[10]  J. L. Mancilla-Aguilar,et al.  On converse Lyapunov theorems for ISS and iISS switched nonlinear systems , 2001 .

[11]  Eduardo D. Sontag,et al.  Input to state stability and allied system properties , 2011 .

[12]  Zhong-Ping Jiang,et al.  Small-gain theorem for ISS systems and applications , 1994, Math. Control. Signals Syst..

[13]  Luca Zaccarian,et al.  Follow the Bouncing Ball: Global Results on Tracking and State Estimation With Impacts , 2013, IEEE Transactions on Automatic Control.

[14]  N. Wouw,et al.  An embedding approach for the design of state‐feedback tracking controllers for references with jumps , 2014 .

[15]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[16]  Ricardo G. Sanfelice,et al.  On Robustness of Pre-Asymptotic Stability to Delayed Jumps in Hybrid Systems , 2018, 2018 Annual American Control Conference (ACC).

[17]  Romain Postoyan,et al.  Incremental Stability of Hybrid Dynamical Systems , 2018, IEEE Transactions on Automatic Control.

[18]  Chaohong Cai,et al.  Output-to-state stability for hybrid systems , 2011, Syst. Control. Lett..

[19]  Chaohong Cai,et al.  Characterizations of input-to-state stability for hybrid systems , 2009, Syst. Control. Lett..

[20]  Ricardo G. Sanfelice,et al.  Observers for Hybrid Dynamical Systems with Linear Maps and Known Jump Times , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[21]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

[22]  Nathan van de Wouw,et al.  Tracking Control for Hybrid Systems With State-Triggered Jumps , 2013, IEEE Transactions on Automatic Control.

[23]  Ricardo G. Sanfelice,et al.  Interconnections of Hybrid Systems : Some Challenges and Recent Results , 2011 .