Hybrid system reduction

We propose a methodology for hybrid system model reduction that deals with the abstraction of both the continuous and the discrete behaviors of the system. Balanced residualization for continuous dynamics and pseudo-equivalent location elimination for the graph are used for model reduction in the continuous and discrete time domain respectively.

[1]  George J. Pappas,et al.  Consistent abstractions of affine control systems , 2002, IEEE Trans. Autom. Control..

[2]  V. Utkin.  Variable structure systems with sliding modes , 1977 .

[3]  George J. Pappas,et al.  Compositional Abstractions of Hybrid Control Systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[4]  Andrew C. W. Grace,et al.  Control system toolbox for use with Matlab , 1995 .

[5]  Shouchuan Hu.  Differential equations with discontinuous right-hand sides☆ , 1991 .

[6]  B. Moore.  Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[7]  Davide Bresolin,et al.  Reachability computation for hybrid systems with Ariadne , 2008 .

[8]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[9]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[10]  I. Postlethwaite,et al.  Model reduction with balanced realizations , 1995 .

[11]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  Complexity Reduction for the Design of Interacting Controllers , 2007, HSCC.

[13]  J. Taylor,et al.  Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.

[14]  R. Decarlo,et al.  Variable structure control of nonlinear multivariable systems: a tutorial , 1988, Proc. IEEE.

[15]  Paulo Tabuada,et al.  Abstractions of Hamiltonian control systems , 2003, Autom..

[16]  Niraj K. Jha,et al.  Switching and Finite Automata Theory: Frontmatter , 2009 .

[17]  Alberto L. Sangiovanni-Vincentelli,et al.  Composing hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[18]  Henrik Sandberg,et al.  Balanced truncation of linear time-varying systems , 2004, IEEE Transactions on Automatic Control.

[19]  Jaijeet Roychowdhury,et al.  Reduced-order modeling of time-varying systems , 1999 .

[20]  Randy H. Katz,et al.  Contemporary Logic Design , 2004 .