Compositional Verification of Passivity for Cascade Interconnected Nonlinear Systems

We consider the problem of verifying passivity of a networked system comprised of dynamically coupled nonlinear subsystems affine in the control input, connected in a cascade architecture. We propose a novel verification approach, wherein the verification is carried out locally at each subsystem using only the dynamics of the particular subsystem and limited information about its coupling with the immediately preceding subsystem in the cascade. The proposed verification is compositional, that is, the addition of new subsystems does not require re-verification of the passivity of the existing network. When a new subsystem is added to the network, only the dynamics of the new subsystem and limited information about its interconnection to the existing network are used to verify passivity of the entire networked system.

[1]  Oriol Gomis-Bellmunt,et al.  Trends in Microgrid Control , 2014, IEEE Transactions on Smart Grid.

[2]  Eduardo D. Sontag,et al.  Diagonal stability of a class of cyclic systems and its connection with the secant criterion , 2006, Autom..

[3]  Etika Agarwal.  Compositional Control of Large-Scale Cyber-Physical Systems Using Hybrid Models and Dissipativity Theory , 2019 .

[4]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[5]  Kyriakos G. Vamvoudakis,et al.  Decentralized Verification for Dissipativity of Cascade Interconnected Systems , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[6]  Robert H. Halstead,et al.  Matrix Computations , 2011, Encyclopedia of Parallel Computing.

[7]  Mathukumalli Vidyasagar,et al.  New passivity-type criteria for large-scale interconnected systems , 1979 .

[8]  Calin Belta,et al.  Provably Safe Cruise Control of Vehicular Platoons , 2017, IEEE Control Systems Letters.

[9]  P. Olver.  Nonlinear Systems , 2013 .

[10]  P. Moylan,et al.  Tests for stability and instability of interconnected systems , 1978, 1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes.

[11]  Panos J. Antsaklis,et al.  A passivity measure of systems in cascade based on passivity indices , 2010, 49th IEEE Conference on Decision and Control (CDC).

[12]  J. Willems.  Dissipative dynamical systems part I: General theory , 1972 .

[13]  P. J. Antsaklis,et al.  Passivity and Dissipativity of a Nonlinear System and its Linearization Technical Report of the ISIS Group at the University of Notre Dame ISIS-12-008 September 2012 , 2012 .

[14]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[15]  Panos J. Antsaklis,et al.  Mixed Voltage Angle and Frequency Droop Control for Transient Stability of Interconnected Microgrids with Loss of PMU Measurements , 2020, 2020 American Control Conference (ACC).

[16]  Panos J. Antsaklis,et al.  Sequential Synthesis of Distributed Controllers for Cascade Interconnected Systems , 2019, 2019 American Control Conference (ACC).

[17]  Panos J. Antsaklis,et al.  Feedback passivation of nonlinear switched systems using linear approximations , 2017, 2017 Indian Control Conference (ICC).

[18]  Romeo Ortega,et al.  On passive systems: from linearity to nonlinearity , 1992 .

[19]  Murat Arcak,et al.  Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety , 2016 .