Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the American Control Conference

Volumn 2, Issue , 2004, Pages 1183-1189

  Han, Zhi ^a   Krogh, Bruce ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRICAL THROTTLE CONTROL (ETC); HYBRID CONTROL SYSTEMS; REACHABILITY ANALYSIS; REDUCED-ORDER MODELS;

APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONTROL EQUIPMENT; MATHEMATICAL MODELS; MATRIX ALGEBRA; PROBLEM SOLVING; SET THEORY; TRAJECTORIES;

CONTROL SYSTEMS;

EID: 8744232867     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. A.C. Antoulas, D.C. Sorensen, and S. Gugercin. A survey of model reduction methods for large-scale systems. Contemporary Mathematics, 280:193-219, 2000.
2. A. Chutinan and B. H. Krogh. Compuational techniques for hybrid system verification. IEEE Transaction on Automatic Control, 48(1):64-75, Jan 2003.
3. T. Dang. Verification and Synthesis of Hybrid Systems. PhD thesis, Verimag, Institut National Polytechnique de Grenoble, 2000.
4. J. W. Demmel. Applied numerical linear algebra. Society for Industrial and Applied Mathematics (SIAM), Sep 1997.
5. K. Glover and J. R. Partington. Bounds on the achievableaccuracy in model reduction. In Modelling, Robustness and Sensitivity Reduction in Control Systems, pages 95-199. Springer-Verlag, 1987.
6. T. A. Henzinger. The theory of hybrid automata. In Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on, pages 278-292, Jul 1996.
7. A. B. Kurzhanski and P. Varaiya. Reachability analysis for uncertain systems - the ellipsoidal technique. Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, 9:347-367, Jan 2002.
8. P. Mavrikis. Nonlinear Model Reduction in Time Domain. PhD thesis, Imperical College of Science Technology and Medicine, 1997.
9. P. Mavrikis and R. B. Vinter. Trajectory-specific model reduction. In Proc of 36th Conference on Decision and Control, volume 4, pages 3323-3328, Dec 1997.
10. B. C. Moore. Principal component analysis in linear systems: Controllability, observability and model reduction. IEEE Transaction on Automatic Control, 26(1), Feb 1981.
11. G. Obinata and B. D. O. Anderson. Model Reduction for Control System Design. Springer-Verlag, Oct 2001.
12. A. Odabasioglu, M. Celik, and L. Pileggi. Prima: passive reduced-order interconnect macromodeling algorithm. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(8):64S-654, Aug 1998.
13. G. Pappas. Bisimilar linear systems. Automatica, Dec 2003. In press.
14. G. Pappas, G. Lafferriere, and S. Sastry. Hierarchically consistent control systems. IEEE Transactions on Automatic Control, 45(6):1144-1160, Jun 2000.
15. O. Stursberg and B. H. Krogh. On efficient representation and computation of reachable sets for hybrid systems. In Hybrid Systems: Computation and Control HSCC 03, Springer-Series: LNCS 2623, pages 482-497, 2003.
16. H. G. Tanner and G. Pappas. Abstraction of constrained linear systems. In Proceedings of the 2003 American Control Conference, pages 3381-3386, Jun 2003.
17. C. J. Tomlin, I. Mitchell, A. M. ayen, and M. Oishi. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE, 91(7):986-1001, Jul 2003.
18. A. Varga. Model reduction routines for slicot. Technical report, NICONET, Jun 1999.
19. K. Zhou, J. Doyle, and K. Glover. Robust and optimal control. Prentice Hall, Aug 1995.