Abstractions of Constrained Linear Systems

Proceedings of the American Control Conference

Volumn 4, Issue , 2003, Pages 3381-3386

  Tanner, Herbert G ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONCURRENCY CONTROL; DISCRETE TIME CONTROL SYSTEMS; LINEAR PROGRAMMING; LOGIC DESIGN; THEOREM PROVING;

SWITCHING CONDITIONS;

LINEAR CONTROL SYSTEMS;

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

References (22)

1. R. Alur, T. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7):971-984, July 2000.
2. Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky, Compositional refinements for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 33-48. Springer Verlag, 2001.
3. M. Aoki. Control of large scale dynamic systems by aggregation IEEE Transactions on Automatic Control, 13(3):246-253, June 1968.
4. P.E. Caines and Y.J. Wei. The hierarchical lattices of a finite states machine. Systems and Control Letters, 25:257-263, 1995.
5. T. Dang and O. Maler. Reachability analysis via face lifting. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 96-109. Springer Verlag, Berlin, 1998.
6. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HYTECH. In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, volume 1019 of Lecture Notes in Computer Science 1019, pages 41-71. Springer-Verlag, 1995.
7. Thomas A. Henzinger, Marius Minea, and Vinayak Prabhu. Assume-guarantee reasoning for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 275-290. Springer Verlag, 2001.
8. X. Koutsoukos, P. Antsaklis, J.Stiver, and M. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88(7):1026-1049, July 2000.
9. K. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell. Springer International Journal of Software Tools for Technology Transfer, 1(1), 1997.
10. Nancy Lynch, Roberto Segala, and Frits Vaandrager. Hybrid i/o automata revisited. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 403-417. Springer Verlag, 2001.
11. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer Verlag, New York, 1995.
12. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
13. G. J. Pappas and G. Lafferriere. Hierarchies of stabilizability preserving linear systems. In Proceedings of the 40th IEEE Conference in Decision and Control, Orlando, FL, December 2001.
14. G. J. Pappas, G. Lafferriere, and S. Sastry. Hierarchically consistent control systems. IEEE Transactions on Automatic Control, 45(6): 1144-1160, June 2000.
15. G. J. Pappas and S. Simic. Consistent abstractions of affine control systems. IEEE Transactions on Automatic Control, 2001. Submitted.
16. th International Conference of Mixed Processes: Hybrid Dynamic Systems, pages 323-328, 2000.
17. th IEEE Conference in Decision and Control, pages 2867-2874, Orlando, Florida, December 2001.
18. th IFAC World Congress, Barcelona, Spain, July 2002.
19. F.D. Torrisi, A. Bemporad, and D. Mignone. Hysdel - a tool for generating hybrid models. Technical Report AUT00-03, ETP, Automatic Control Laboratory, October 2000.
20. A. J. van der Schaft and J. M. Schumacher. Compositionality issues in discrete, continuous, and hybrid systems. International Journal of Robust and Nonlinear Control, 11(5):417-434, April 2001.
21. K.C. Wong and W.M. Wonham. Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems, 6:241-273, 1995.
22. W.M. Wonham. Linear Multivariable Control: A Geometric Approach, volume 10 of Applications of Mathematics. Springer-Verlag, New York, 1985.