Bisimilar control affine systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2002, Pages 2373-2378

  Tabuada, Paulo ^a   Pappas, George J ^b  

^a University of Notre Dame   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; COMPUTER SIMULATION; EQUIVALENCE CLASSES; LINEAR CONTROL SYSTEMS; NONLINEAR CONTROL SYSTEMS; SYSTEM THEORY;

BISIMILAR CONTROL AFFINE SYSTEMS; DIFFERENTIAL ALGEBRAIC CHARACTERIZATION; MODULAR ANALYSIS;

CONTROL SYSTEM ANALYSIS;

EID: 0036996711     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysconle.2003.09.013     Document Type: Article

References (21)

1. R. Abraham and J.E. Marsden. Foundations of Mechanics. Perseus Books, 1994.
2. R. W. Brockett. Feedback invariants for nonlinear systems. In Preprints of the 6th IFAC Congress, pages 1115-1120, Helsinki, 1978.
3. K.A. Grasse. On controlled invariance for fully nonlinear control systems. International Journal of Control. 56:1121-1137, 1992.
4. Jessy W. Grizzle and Steven I. Marcus. The structure of nonlinear control systems possessing symmetries. IEEE Transactions on Automatic Control, 30(3):248-258. March 1985.
5. Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas. Bisimulation relations for dynamical and control systems. Category Theory in Computer Science, Electronic Notes in Theoretical Computer Science, 2002, To appear.
6. R. Hirschorn. (A, B)-invariant distributions and disturbance decoupling of nonlinear systems. SIAM Journal on Control and Optimization, 19:1-19, 1981.
7. L.R. Hunt, R. Su, and G. Meyer. Design for multi-input nonlinear systems. In R.W. Brocket, R.S. Millman, and H.J. Sussman, editors. Differential Geometric Control Theory, pages 268-298. Birkauser, Boston, 1983.
8. A. Isidori, A.J. Krener, C. Gori Giorgi, and S. Monaco. Nonlinear decoupling via feedback: a differential geometrical approach. IEEE Transactions on Automatic Control, 26:331-345, 1981.
9. B. Jakubczyk and W. Respondek. On linearization of control systems. Bull. Acad. Pol. Sci. Ser. Sci. Math., 28:517-522, 1980.
10. A.J. Krener. On the equivalence of control systems and linearization of nonlinear systems. SIAM Journal on Control and Optimization, 11:670-676, 1973.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. H. Nijmeijer. Controlled invariance for affine control systems. International Journal of Control, 24:825-833, 1981.
13. H. Nijmeijer and A.J. van der Schaft. Partial symmetries for nonlinear systems. Mathematical Systems Theory, 18(1):79-96, 1985.
14. H. Nijmeijer and A. J. van der Schaft. Nonlinear Dynamical Control Systems. Springer-Verlag, 1995.
15. George J. Pappas. Bisimilar linear systems. Technical Report MS-CIS-01-19, University of Pennyslvania, June 2001.
16. George J. Pappas and Gerardo Lafferriere. Hierarchies of stabilizability preserving linear systems. In Proceedings of the 40th IEEE Conference on Decision and Control, pages 2081-2086, Orlando, Florida, December 2001.
17. George J. Pappas, Gerardo Lafferriere, and Shankar Sastry. Hierarchically consistent control systems. IEEE Transactions on Automatic Control, 45(6):1144-1160, June 2000.
18. George J. Pappas and Slobodan Simic. Consistent hierarchies of affine nonlinear systems. IEEE Transactions on Automatic Control, 47(5):745-756, 2002.
19. D.M.R. Park. Concurrency and automata on infinite sequences, volume 104 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
20. Paulo Tabuada and George J. Pappas. Bisimilar control affine systems. 2002. Extended version available at www.seas.upenn.edu/˜tabuadap.
21. Paulo Tabuada and George J. Pappas. Quotients of fully nonlinear control systems. In D. Gilliam and J. Rosenthal, editors, Proceedings of 15th International Symposium on Mathematical Theory of Networks and Systems, South Bend, Indiana, August 2002.