Discounting the past in robust finite-state systems

In this paper we introduce discounted input-output dynamical stability as a variant of a recently introduced notion of robustness for discrete and cyber-physical systems. We analyze the verification and synthesis problems for this new notion of robustness for discrete systems given by finite-state automata. We show that the verification problem can be solved in terms of a linear program and hence is solvable in polynomial time. We provide an approximate solution to the synthesis problem whose complexity depends on the accuracy of the approximation. We discuss the merits and drawbacks of discounted input-output dynamical stability in comparison with existing robustness concepts for discrete systems.

[1]  Sumit Gulwani,et al.  Continuity and robustness of programs , 2012, CACM.

[2]  P. Saint-Pierre,et al.  Set-Valued Numerical Analysis for Optimal Control and Differential Games , 1999 .

[3]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[4]  Ufuk Topcu,et al.  On synthesizing robust discrete controllers under modeling uncertainty , 2012, HSCC '12.

[5]  Rüdiger Ehlers,et al.  Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis , 2011, NASA Formal Methods.

[6]  Krishnendu Chatterjee,et al.  Quantitative Languages , 2008, CSL.

[7]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[8]  A. Michel,et al.  Lyapunov Stability of a Class of Discrete Event Systems , 1991 .

[9]  Paulo Tabuada,et al.  Robust discrete synthesis against unspecified disturbances , 2011, HSCC '11.

[10]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[11]  Mardavij Roozbehani,et al.  Optimization of Lyapunov Invariants in Verification of Software Systems , 2011, IEEE Transactions on Automatic Control.

[12]  Ali Shahrokni,et al.  A systematic review of software robustness , 2013, Inf. Softw. Technol..

[13]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[14]  J.-T. Lim,et al.  Stability and robustness of discrete event dynamic systems , 1997, Int. J. Syst. Sci..

[15]  Lars Grüne,et al.  Input-to-state dynamical stability and its Lyapunov function characterization , 2002, IEEE Trans. Autom. Control..

[16]  Eduardo Sontag.  Comments on integral variants of ISS , 1998 .

[17]  Paulo Tabuada,et al.  Towards Robustness for Cyber-Physical Systems , 2014, IEEE Transactions on Automatic Control.

[18]  Thomas A. Henzinger,et al.  Synthesizing robust systems , 2009, FMCAD.

[19]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[20]  Rupak Majumdar,et al.  Symbolic Robustness Analysis , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[21]  Paulo Tabuada,et al.  Abstracting and refining robustness for cyber-physical systems , 2014, HSCC.

[22]  A. Schaft,et al.  L2-Gain and Passivity in Nonlinear Control , 1999 .

[23]  Eduardo Sontag.  Input to State Stability: Basic Concepts and Results , 2008 .

[24]  Krishnendu Chatterjee,et al.  Robustness in the Presence of Liveness , 2010, CAV.

[25]  Munther A. Dahleh,et al.  A Framework for Robust Stability of Systems Over Finite Alphabets , 2008, IEEE Transactions on Automatic Control.

[26]  G. Zames.  Input-output feedback stability and robustness, 1959-85 , 1996 .