Discrete asymptotic abstractions of hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 917-922

  Piovesan, Jorge L ^a   Tanner, Herbert G ^a   Abdallah, Chaouki T ^a  

^a University of New Mexico   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; INFORMATION DISSEMINATION; METRIC SYSTEM;

FINITE TIME MODE ABSTRACTION; HYBRID SYSTEMS;

ABSTRACTING;

EID: 39649124432     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377733     Document Type: Conference Paper

References (20)

1. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971-984, July 2000.
2. M. Branicky, V. Borkar, and S. Mitter. A unified framework for hybrid control: Model and optimal control. IEEE Transactions on Automatic Control, 43(1):31-45, Jan. 1998.
3. M. S. Branicky. Topology of hybrid systems. In Proceedings of the 32nd IEEE Conference on Decision and Control, pages 2309-2314, 1993.
4. W. L. Burke. Applied differential geometry. Cambridge University Press, 1985.
5. L. Conlon. Differentiable Manifolds, A First Course. Birkhäuser Advanced Texts. Birkhäuser, 1993.
6. C. Godsil and G. Royle. Algebraic Graph Theory. Springer-Verlag, New York, NY, USA, 2001.
7. H. Khalil. Nonlinear Systems. Prentice Hall, third edition, 2002.
8. J. Lygeros. Lecture notes on hybrid systems. Notes for an ENSIETA workshop, February-June 2004.
9. J. Lygeros, K. Johansson, S. Simić, J. Zhang, and S. Sastry. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control, 48(1):2-16, Jan. 2003.
10. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
11. B. Mohar. Eigenvalues, diameter, and mean distance in graphs. Graphs and Combinatorics, (7):53-64, 1991.
12. G. J. Pappas. Bisimilar linear systems. Automatica, 39(12):2035-2047, December 2003.
13. G. J. Pappas, G. Lafferriere, and S. Sastry. Hierarchically consistent control systems. IEEE Transactions on Automatic Control, 45(6): 1144-1160, June 2000.
14. G. J. Pappas and S. Simic. Consistent hierarchies of nonlinear abstractions. In Proceedings of the 39th IEEE Conference in Decision and Control, pages 4379-4384, Sydney, Australia, Dec. 2000.
15. G. J. Pappas and S. Simic. Consistent abstractions of affine control systems. IEEE Transactions on Automatic Control, 47(5):745-756, May 2002.
16. K. Passino and K. Burgess. Stability Analysis of Discrete Event Systems. John Wiley and Sons, New York, NY, USA, 1998.
17. P. Tabuada and G. J. Pappas. Bisimilar control affine systems. Systems & Control Letters, 51(1):49-58, May 2004.
18. P. Tabuada and G. J. Pappas. Quotients of fully nonlinear control systems. SIAM Journal of Control and Optimization, 43(5): 1844-1866, 2005.
19. H. G. Tanner and G. J. Pappas. Simulation relations for discrete-time linear systems. In Proceedings of the 15th IFAC World Congress, Barchelona, Spain, July 2002. Submitted.
20. A. van der Schaft. Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control, 49(12):2160-2172, Dec. 2004.