Hybrid system reduction

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 227-232

  Mazzi, Emanuele ^a,b,c   Vincentelli, Alberto Sangiovanni ^b,c   Balluchi, Andrea ^a,d   Bicchi, Antonio ^a  

^a UNIVERSITY OF PISA   (Italy)

^b PARADES   (Italy)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d Zona Industrial Linfano   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

CONTINUOUS DYNAMICS; DISCRETE TIME-DOMAIN; HYBRID SYSTEM MODELS; MODEL REDUCTION; RESIDUALIZATION; SYSTEM REDUCTIONS;

HYBRID SYSTEMS;

EID: 62949236119     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2008.4739350     Document Type: Conference Paper

References (18)

1. G. J. Pappas and S. Simic. Consistent abstractions of affine control systems. IEEE Transactions on Automatic Control, 47:745-756, May 2002.
2. P. Tabuada and G. J. Pappas. Abstraction of hamiltonian control systems. Automatica, 39:2025-2033, Dec. 2003.
3. P. Tabuada, G. J. Pappas, and P. Lima. Compositional abstractions of hybrid control systems. In 40th IEEE Conference on Decision and Control, volume 1, pages 352-357, 2001.
4. L. Benvcnuti, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari, E. Mazzi, A. Sangiovanni-Vincentelli, and T. Villa. Reachability computation for hybrid systems with ariadne. In 17th IFAC World Congress, Seoul, South Korea, 2008.
5. Z. Kohavi. Switching and Finite Automata Theory. McGraw-Hill. 2002.
6. J. Roychowdhury. Reduced-order modeling of time-varying systems. IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 46(10): 1273-1288. Oct. 1999.
7. H. Sandberg and A. Rantzer. Balanced truncation of linear timevarying systems. IEEE Transactions on Automatic Control, 49(2):217-229, Feb. 2004.
8. Antoine Girard and George J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 52(5):782-798, May 2007.
9. R. Samara, I. Postlcthwaitea, and D. Gu. Model reduction with balanced realizations. International Journal of Control, 62(1):33-64, 1995.
10. G. De Micheli. Synthesis and Optimization of Digital Circuits. McGraw-Hill, 2001.
11. [ll] B. Moore. Principal component analysis in linear systems: Controllability, observability, and model reduction. IEEE Transactions on Automatic Control, 26:17-32, Feb. 1981.
12. A. Grace, A. Laub, and J. Little adn C. Thompson. Control system toolbox for use with matlab: User's guide. Technical report, The Mafhworks, 1992.
13. R. Katz. Contemporary Logic Design. The Benjamin/Cummings Publishing Company, 1994. chapter: 1-10.
14. L. Benvenuti, A. Ferrari, E. Mazzi, and A. Sangiovanni Vincentelli. Hybrid system composition. In 47th IEEE Conference on Decision and Control, 2008.
15. A. F. Filippov. Differential Equations with Discontinuous Right-Hand Sides. Kluwer, The Netherlands, 1988.
16. V. I. Utkin. Variable structure systems with sliding modes: a survey. IEEE Trans. on Automat. Contr., 22:212-222, 1977.
17. R. A. DeCarlo, S. H. Zak, and G. P. Matthews. Variable structure control of nonlinear multivariable systems: a tutorial. Proceedings of the IEEE, 76(3):212-232, 1988.
18. A. Balluchi, E. Mazzi, and A. Sangiovanni Vincentelli. Complexity reduction for the design of interacting controllers. In 10th International Workshop on Hybrid Systems: Computation and Control, volume 4416. April 2007.