Compositional abstractions of hybrid control systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 14, Issue 2, 2004, Pages 203-238

  Tabuada, Paulo ^a   Pappas, George J ^b   Lima, Pedro ^c  

^a University of Notre Dame   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

Abstractions; Compositionality; Hybrid systems

Indexed keywords

ABSTRACTING; COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; CONCURRENCY CONTROL; MULTI AGENT SYSTEMS;

BIOMOLECULAR NETWORKS; COMPOSITIONAL ABSTRACTIONS; COMPOSITIONAL OPERATOR; COMPUTER AIDED VERIFICATION; CONCURRENCY THEORY; HYBRID CONTROL SYSTEMS;

CONTROL SYSTEM ANALYSIS;

EID: 1942486332     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:DISC.0000018571.14789.24     Document Type: Article

References (44)

1. Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G. J., Rubin, H., and Schug, J. 2001. Hybrid modeling and simulation of biomolecular networks. In Maria Domenica Di Benedetto and Alberto Sangiovanni-Vicentelli (eds), Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, Springer Verlag, Rome, Italy pp. 19-32.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P. H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1995. Hybrid automata: An algorithmic approach to specification and verification of hybrid systems. Theoretical Computer Science 138(1): 3-34.
3. Asarin, E., Caspi, P., and Maler, O. 2002. Timed regular expressions. Journal of the ACM 49(2): 172-206.
4. Alur, R., Henzinger, T., Lafferriere, G., and Pappas, G. J. 2000. Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7): 971-984.
5. Arbib, M., and Manes, E. G. 1974. Machines in a category: An expository introduction. SIAM Review 16(2): 163-192.
6. Arbib, M. A., and Manes, E. G. 1975. Arrows, Structures and Functions - The Categorical Imperative. New York: Academic Press Inc.
7. Balluchi, A., Benvenuti, L., Di Benedetto, M. D., Pinello, C., and Sangiovanni-Vicentelli, A. L., 2000. Automotive engine control and hybrid systems: Challenges and opportunities. Proceedings of the IEEE 88(7): 888-912.
8. Balluchi, A., Benvenuti, L., Miconi, G. M., Pozzi, U., Villa, T., Di Benedetto, M. D., Wong-Toi, H., and Sangiovanni-Vincentelli, A. L. 2000c. Maximal safe set computation for idle speed control of an automotive engine. In Nancy Lynch and Bruce H. Krogh (eds), Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, Springer Verlag, pp. 32-44.
9. Barret, G., and Lafortune, S. 1998. Bisimulation, the supervisor control problem and strong model matching for finite state machines. Journal of Discrete Event Systems 8(4): 337-429.
10. Cury, J. E. R., Krogh, B. H., and Ninomi, T. 1998. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems 43(4): 564-568.
11. Cassandras, C., and Lafortune, S. 1999. Introduction to Discrete Event Systems. Boston, MA: Kluwer Academic Publishers.
12. Caines, P. E., and Wei, Y. J. 1998. Hierarchical hybrid control systems: A lattice theoretic formulation. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems 43(4): 501-508.
13. de Alfaro, L., and Henzinger, T. A. 2001. Interface theories for component-based design. In Proceedings of the First International Workshop on Embedded Software, volume 2211 of Lecture Notes in Computer Science, pp. 148-165.
14. Gokbayrak, K., and Cassandras, C. G. 2000. Hybrid controller for hierarchically decomposed systems. In Nancy Lynch and Bruce H. Krogh (eds), Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, Springer Verlag, pp. 117-129.
15. Hespanha, J., Bohacek, S., Obraczka, K., and Lee, J. 2001. Hybrid modeling of tcp congestion control. In Maria Domenica Di Benedetto and Alberto Sangiovanni-Vicentelli (eds), Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, Springer Verlag, pp. 291-304.
16. Henzinger, T. A. 1996. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 278-292.
17. Howie, J. M. 1995. Fundamentals of Semigroup Theory. Oxford Science Publications.
18. Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages and Computation. USA: Addison-Wesley Publising Company.
19. Johansson, K. H., Egersted, M., Lygeros, J. and Sastry, S. 1999. On the regularization of hybrid automata. Systems and Control Letters 38: 141-150.
20. Kumar, R., and Garg, V. K. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers.
21. Lane, S. M. 1971. Categories for the Working Mathematician. Springer-Verlag.
22. Lawvere, F. W., and Schannel, S. H. 1997. Conceptual Mathematics: A First Introduction to Categories. New York: Cambridge University Press.
23. Lynch, N., Segala, R., and Vaandrager, F. 2001. Hybrid I/O automata revisited. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, Springer Verlag, pp. 403-417.
24. Moor, T., and Davoren, J. M. 2001. Robust controller synthesis for hybrid systems using modal logic. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pp. 433-446.
25. Milner, R. 1989. Communication and Concurrency. Prentice Hall.
26. Manna, Z., and Pnueli, A. 1992. The temporal Logic of Reactive and Concurrent Systems: Specification. Berlin: Springer-Verlag.
27. Manna, Z., and Pnueli, A. 1995. Temporal Verification of Reactive Systems: Safety. Berlin: Springer-Verlag, January.
28. Madhusudan, P., and Thiagarajan, P. S. 2002. Branching time controllers for discrete event systems. Theoretical Computer Science 274: 117-149.
29. Niebert, P. and Yovine, S. 2000. Computing optimal operation schemes for chemical plants in multi-batch mode. In Nancy Lynch and Bruce H. Krogh (eds), Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, Springer Verlag, pp. 338-351.
30. Pappas, G. J. 2003. Bisimilar linear systems. Automatica 39(12): 2025-2033.
31. Pappas, G. J., Lafferriere, G., and Sastry, S. 2000. Hierarchically consistent control systems. IEEE Transactions on Automatic Control 45(6): 1144-1160.
32. Pappas, G. J., and Simic, S. 2002. Consistent hierarchies of affine nonlinear systems. IEEE Transactions on Automatic Control 47(5): 745-756.
33. Park, D. M. R. 1980. Concurrency and automata on infinite sequences, volume 104 of Lecture Notes in Computer Science. Springer-Verlag.
34. Roggenbach, M., and Majster-Cederbaum, M. 2000. Towards a unified view of bisimulation: A comparative study. Theoretical Computer Science 1 (238): 81-130.
35. Raisch, J., and O'Young, S. D. 1998. Discrete approximations and supervisory control of continuous systems. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems 43(4): 569-573
36. Rutten, J. J. M. M. 2000. Universal coalgebra: A theory of systems. Theoretical Computer Science 249(1): 3-80.
37. Ramadge, P. J., and Wonham, W. M. 1982. Supervisory control of discrete event processes. In A. V. Balakrishnan and M. Thoma (eds), Feedback Control of Linear and Nonlinear Systems, volume 39 of Lecture Notes in Control and Information Sciences, Berlin: Springer-Verlag, pp. 202-214.
38. Sontag, E. D. 1998. Mathematical Control Theory, volume 6 of Texts in Applied Mathematics, 2nd edition. New York: Springer-Verlag.
39. Tabuada, P., and Pappas, G. J. 2001. Hybrid abstractions that preserve timed languages. In Marica Domenica di Benedetto and Alberto L. Sangiovanni-Vincentelli (eds), Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, Springer, Verlag, pp. 501-514.
40. Tabuada, P., and Pappas, G. J. 2002a. Bisimilar control affine systems. In Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, NV, December.
41. Tabuada, P., and Pappas, G. J. 2002b. Quotients of fully nonlinear control systems. In D. Gilliam and J. Rosenthal, (eds), Proceedings of 15th International Symposium on Mathematical Theory of Networks and Systems, South Bend, Indiana, August. Extended version available at www.nd.edu/~ptabuadap
42. Tabuada, P., Pappas, G. J., and Lima, P. 2002. Composing abstactions of hybrid systems. In Claire Tomlin and Mark R. Greenstreet (eds), Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science, Springer-Verlag, pp. 436-450.
43. Tomlin, G., Pappas, G. J., and Sastry, S. 1998. Conflict resolution for air traffic management: A study in mutiagent hybrid systems. IEEE Transactions on Automatic Control 43(4): 509-521.
44. Winskel, G., and Nielsen, M. 1994. Models for concurency. In Abramsky, Gabbay, and Maibaum (eds), Handbook of Logic and Foundations of Theoretical Computer Science, volume 4, London: Oxford University Press.