Hierarchically consistent control systems

IEEE Transactions on Automatic Control

Volumn 45, Issue 6, 2000, Pages 1144-1160

  Pappas, George J ^a,b   Lafferriere, Gerardo ^c   Sastry, Shankar ^a,d  

^a IEEE   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c PORTLAND STATE UNIVERSITY   (United States)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Abstraction; Consistency; Controllability algorithms; Hierarchical control

Indexed keywords

ALGORITHMS; CONTROLLABILITY; LARGE SCALE SYSTEMS; LINEAR ALGEBRA; LINEAR CONTROL SYSTEMS; MATHEMATICAL MODELS; NUMERICAL METHODS;

CONTINUOUS CONTROL SYSTEM; CONTROLLABILITY ALGORITHMS; HIERARCHICALLY CONTROL SYSTEMS;

HIERARCHICAL SYSTEMS;

EID: 0034195726     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.863598     Document Type: Article

References (39)

1. R. Abraham, J. Marsden, and T. Ratiu, Manifolds, Tensor Analysis and Applications, ser. Applied Mathematical Sciences. New York: Springer-Verlag, 1988.
2. P. J. Antsaklis, J. A. Stiver, and M. Lemmon, "Hybrid system modeling and autonomous control systems," in Hybrid Systems. ser. Lecture Notes in Computer Science, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer-Verlag, 1993, vol. 736, pp. 366-392.
3. M. Aoki, "Control of large scale dynamic systems by aggregation," IEEE Trans. Automat. Cont., vol. 13, pp. 246-253, June 1968.
4. R. Brockett, "Control theory and analytical mechanics," in Geometric Control Theory, C. Martin and R. Hermann, Eds. Brookline, MA: Math. Sci. Press, 1977, pp. 1-16.
5. _, "Global descriptions of nonlinear control problems; Vector bundles and nonlinear control theory,", manuscript, 1980.
6. P. Caines and Y. J. Wei, "The hierarchical lattices of a finite state machine," Syst. Contr. Lett., vol. 25, pp. 257-263, 1995.
7. _, "Hierarchical hybrid control systems," in Control Using Logic Based Switching. ser. Lecture Notes in Control and Information Sciences, S. Morse, Ed. New York: Springer-Verlag, 1996, vol. 222, pp. 39-48.
8. _, "Hierarchical hybrid control systems: A lattice theoretic formulation," IEEE Trans. Automat. Cont., vol. 43, pp. 501-508, Apr. 1998.
9. P. Cousot and R. Cousot, " Systematic design of program analysis framework," in Proc. 6th ACM Symp. Principles of Programming Languages, 1979.
10. J. E. R. Cury, B. H. Krogh, and T. Niinomi, "Synthesis of supervisory controllers for hybrid systems based on approximating automata," IEEE Trans. Automat. Contr., vol. 43, pp. 564-568, Apr. 1998.
11. P. M. Van Dooren, "The generalized eigenstructure problem in linear system theory," IEEE Trans. Automat. Contr., vol. AC-26, pp. 111-129, Jan. 1981.
12. G. H. Golub and C. F. van Loan, Matrix Computations, third ed. Baltimore, MD: The John Hopkins University Press, 1996.
13. T. A. Henzinger and H. Wong-Toi, "Linear phase-portrait approximations for nonlinear hybrid systems," in Hybrid Systems III, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. New York: Springer-Verlag, 1996, pp. 377-388.
14. M. Kristic, I. Kanellakopoulos, and P. Kokotovic, "Adaptive and learning systems for signal processing, communications and control," in Nonlinear and Adaptive Control Design. New York: Wlley, 1995.
15. C. P. Kwong, "Optimal chained aggregation for reduced order modeling," Int. J. Contr., vol. 35, no. 6, pp. 965-982, 1982.
16. _, "Disaggregation, approximate disaggregation, and design of suboptimal control," Int. J. Contr., vol. 37, no. 4, pp. 843-854, 1983.
17. C. P. Kwong and C. F. Chen, "A quotient space analysis of aggregated models," IEEE Trans. Automat. Contr., vol. AC-27, pp. 203-205, Feb. 1982.
18. C. P. Kwong and Y. K. Zheng, "Aggregation on manifolds," Int. J. Syst. Sci., vol. 17, no. 4, pp. 581-589, 1986.
19. G. Lafferriere, G. J. Pappas, and S. Sastry, "Hybrid systems with finite bisimulations," in Hybrid Systems V. ser. Lecture Notes in Computer Science, P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, Eds. New York: Springer-Verlag, 1998, vol. 1567, pp. 186-203.
20. _, "Subanalytic stratifications and bisimulations," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, T. Henzinger and S. Sastry, Eds. New York: Springer-Verlag, 1998, vol. 1386, pp. 205-220.
21. C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem, " Property preserving abstractions for the verification of concurrent systems," in Formal Methods in Systems Design. Norwell, MA: Kluwer, 1995, vol. 6, pp. 1-35.
22. L. S. Martin and P E. Crouch, "Controllability on principal fiber bundles with compact structure group," Syst. Contr. Lett., vol. 5, no. 1, pp. 35-40, 1984.
23. M. D. Mesarovic, "Theory of hierarchical, multilevel, systems," in Mathematics in Science and Engineering. New York: Academic, 1970, vol. 68.
24. J. R. Munkres, Analysis on Manifolds. Reading, MA: Addison-Wesley, 1991.
25. H. Nijmeijer and A. J. van der Schaft, Nonlinear Dynamical Control Systems. New York: Springer-Verlag, 1990.
26. C. C. Paige, " Properties of numerical algorithms related to computing controllability," IEEE Trans. Automat. Contr., vol. AC-26, pp. 111-129, Jan. 1981.
27. G. J. Pappas and S. Sastry, "Toward continuous abstractions of dynamical and control systems," in Hybrid Systems IV. ser. Lecture Notes in Computer Science, P Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer-Verlag, 1997, vol. 1273, pp. 329-341.
28. G. J. Pappas, C. Tomlin, J. Lygeros, D. N. Godbole, and S. Sastry, "A next generation architecture for air traffic management systems," in Proc. 36th IEEE Conf. Decision and Control, San Diego, CA, Dec. 1997, pp. 2405-2410.
29. G. J. Pappas, G. Lafferriere, and S. Sastry, "Hierarchically consistent control systems," in Proc. 37th IEEE Conf. Decision and Control, Tampa, FL, December 1998, pp. 4336-4341.
30. A. Puri and P Varaiya, " Decidability of hybrid systems with rectangular differential inclusions," Computer Aided Verification, pp. 95-104, 1994.
31. J. Raisch and S. D. O'Young, " Discrete approximations and supervisory control of continuous systems," IEEE Trans. Automat. Contr., vol. 43, pp. 569-573, Apr. 1998.
32. H. H. Rosenbrock, State Space and Multivariable Theory. New York: Wiley, 1970.
33. M. Spivak, A Comprehensive Introduction to Differential Geometry: Publish or Perish, 1979.
34. P Varaiya, "Smart cars on smart roads: Problems of control," IEEE Trans. Automat. Contr., vol. AC-38, pp. 195-207, Feb. 1993.
35. K. C. Wong and W. M. Wonham, "Hierarchical control of discrete-event systems," Discrete Event Dynam. Syst., vol. 6, pp. 241-273, 1995.
36. _, "Hierarchical control of timed discrete-event systems," Discrete Event Dynam. Syst., vol. 6, pp. 275-306, 1995.
37. W. M. Wonham, "Linear multivariable control: A geometric approach," in Applications of Mathematics. New York: Springer-Verlag, 1985, vol. 10.
38. H. Zhong and W M. Wonham, "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Automat. Contr., vol. 35, pp. 1125-1134, Oct. 1990.
39. G. Lafferrier, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Contr. Signals Syst., vol. 13, pp. 1-21, Mar. 2000.