Supervisory Hybrid Systems

IEEE Control Systems

Volumn 19, Issue 4, 1999, Pages 42-55

  Lemmon, Michael D ^a   Marlcovsky, Ivan Valentinov ^b   He, Kevin X ^c  

^a UNIVERSITY OF NOTRE DAME   (United States)

^b STANFORD UNIVERSITY   (United States)

^c TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; TIME VARYING CONTROL SYSTEMS;

SUPERVISORY HYBRID SYSTEMS;

SCADA SYSTEMS;

EID: 0032655854     PISSN: 1066033X     EISSN: None     Source Type: Journal    
DOI: 10.1109/37.777788     Document Type: Article

References (71)

1. S. Kowalewski, M. Fritz, H. Graf, J. Preussig, S. Simon, O. Stursberg, and T. Treseler, “A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem,” in Hybrid Systems V, P.J. Antsaklis, W. Kohn, M.D. Lemmon, A.N. Nerode, and S. Sastry, eds., Lecture Notes in Computer Science, vol. 1567, Springer-Verlag, 1999.
2. C. Tomlin, G. Pappas, and S. Sastry, “Conflict resolution for air traffic management: A study in multiagent hybrid systems,” IEEE Trans. Automat. Contr., vol. 43, 110-4, 1998.
3. B. Lennartson, M. Tittus, B. Egardt, and S. Petterson, “Hybrid systems in process control,” Control Systems Magazine, vol. 16, no. 5, pp. 45-56, 1996.
4. J. Raisch and E. Klein, “Approximating automata and discrete control for continuous systems: Two examples from chemical process control,” in Hybrid Systems V, P.J. Antsaklis, W. Kohn, M.D. Lemmon, A.N. Nerode, andS. Sastry, eds., Lecture Notes in Computer Science, vol. 1567, Springer-Verlag, 1999.
5. C.W. Seibel and J.-M. Farina, “Towards using hybrid automata for the mission planning of unmanned aerial vehicles,” in Hybrid Systems V, P.J. Antsaklis, W. Kohn, M.D. Lemmon, A.N. Nerode, and S. Sastry, eds., Lecture Notes in Computer Science, vol. 1567, Springer-Verlag, 1999.
6. R. Balluchi, M. De Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni-Vincentelli, “Hybrid control for automotive engine management: The cut-off case,” in Hybrid Systems: Computation and Control, T.A. Henzinger and S. Sasm, eds., Lecture Notes in Computer Science, vol. 1386, Springer-Verlag, 1998.
7. Hybrid Systems, R.L. Grossman, A.N. Nerode, A.P. Ravn, and H. Rischel, eds., Lecture Notes in Computer Science, vol. 736, Springer-Verlag, 1993.
8. Hybrid Systems II, P.J. Antsakis, W. Kohn, A.N. Nerode, and S. Sastry, eds., Lecture Notes in Computer Science, vol. 999, Springer Verlag, 1995.
9. Hybrid Systems III; verification and control, R. Alur, T.A. Henzinger, and E.D. Sontag, eds., Lecture Notes in Computer Science, vol. 1066, Springer Verlag, 1996.
10. Hybrid Systemszv, P.J. Antsaklis, W. Kohn, A.N. Nerode, and S. Sastry, eds., Lecture Notes in Computer Science, vol. 1273, Springer-Verlag, 1997.
11. Hybrid Systems V, P.J. Antsaklis, W. Kohn, M.D. Lemmon, A.N. Nerode, S. Sastry, eds., Lecture Notes in Computer Science, vol. 1567, Springer-Verlag, 1999.
12. Hybrid Systems: Control and Computation, T.A. Henzinger and S. Sastry, eds., Lecture Notes in Computer Science, vol. 1386, Springer-Verlag, 1998.
13. Hybrid and Real-Time Systems: Hart'97, O. Maller, ed., Lecture Notes in Computer Science, vol. 1201, Springer Verlag, 1997.
14. N. Lynch and N. Shavit, “Timing-based mutual exclusion,” Proc. 13th IEEE Real-TimeSystems Symp.,IEEE Computer Society Press, pp. 3-11, 1993.
15. R. Gallmeister, POSIX.4, Programming for the Real World, O'Reilly and Associates, 1995.
16. H.S. Witsenhausen, “A class of hybrid-state continuous time dynamic systems,” IEEE Trans. Automat. Contr., vol. 11, no. 2, pp. 161-167, 1966.
17. J.P. Aubin and A. Cellina, Differential Inclusions, Springer-Verlag, Berlin, 1984.
18. R.A. DeCarlo, S.H. Zak, and G.P. Matthews, “Variable structure control of nonlinear multivariable systems: A tutorial,” Proc. IEEE, vol. 76, no. 3., March 1988.
19. R.W. Brockett, “Hybrid models for motion control systems,” in Essays in Control: Perspectives in the Theory and Its Applications, pp. 29-53, Boston: Birkhauser, 1993.
20. M.S. Branicky, “Studies in Hybrid Systems: Modeling, Analysis, and Control,” LIDS-TH-2304, Ph.D. Dissertation, Massachusets Institute of Technology, LIDS, 1995.
21. J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon, “A logical DES approach to the design of hybrid control systems,” in Mathematical Computer Modeling, vol. 23, no. 11/12, pp. 55-76, 1996.
22. P.J. Ramadge and W.M. Wonham, “Supervisory control of a class of discrete event processes,” SIAM J. Control and Optimization, vol. 25, no. 1
23. J. Raisch and S.D. O'Young, “Discrete approximations and supervisory control of continuous systems,” IEEE Trans. Automat. Contr., vol. 43, no. 4, 1989.
24. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Po, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, eds., Lecture Notes in Computer Science, vol. 736, Springer-Verlag, 1993.
25. R. Alur and D. Dill, “The theory of timed automata,” Theoretical Computer Science, vol. 126, pp. 193-235, 1994.
26. K. McMillan, Symbolic Model Checking, Kluwer Academic, 1993.
27. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi, “A user's guide to HyTech,” in First Workshop on Tools and Algorithms for the Construction and Analysis of Systems: TACAS94, Lecture Notes in Computer Science, vol. 1019, Springer-Verlag, 1995.
28. R. Alur, C. Courcoubetis, Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, Olivero, J. Sifjakis, and S. Yovine, “The algorithmic analysis of hybrid systems,” in Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
29. K.G. Larsen, P. Pettersson, and W. Yi, “Model-Checking for Real-Time Systems,” Proc. loth Int. Conf Fundamentals of Computation Theory, Dresden, Germany, H. Reichel, ed., Lecture Notes in Computer Science, vol. 1965, Springer-Verlag. 1995.
30. L. Tavernini, “Differential automata and their discrete simulators,” in Nonlinear Analysis, Theory, Methods and Applications, vol. 11, no. 6, pp. 665-683, 1987.
31. M. Heymann, F. Lin, and G. Meyer, “Synthesis and viability of minimally interventive legal controllers for hybrid systems,” in Discrete Event Dynamic Systems: Theory andApplications, vol. 8, no. 2, pp. 105-136, 1998.
32. J. LeBail, H. Alla, and R. David, “Hybrid petri nets,” Proc. 1st Euopean Control Conf., Grenoble, France, 1991.
33. M.D. Lemmon and K.X. He, “Modeling hybrid control systems using programmable Petri nets,” in JESA-European J. Automation, vol. 32, no. 9-10, pp. 1187-1208, 1999
34. I. Demongodin and N.T. Koussoulas, “Differential Petri nets: Representing continuous system in a discrete-event world,” IEEE Trans. Automat. Contr., vol. 44, no. 3, pp. 573-578, 1998.
35. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
36. E.M. Clarke and E.A. Emerson, “Characterizing properties of algoiithins as fixed points,” in 7th Int. Colloq. Automata Languages and Programming, Lecture Notes in Computer Science, vol. 85, Springer-Verlag, 1981.
37. R. Alur, C. Courcoubetis, and D. Dill, “Model checking in dense real time,” Information and Computation, vol. 104, pp. 2-34, 1993.
38. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” in Information and Computation, vol. 111, pp. 193-244, 1994.
39. C. Zhou, “Duration calculii: An overview,” Proc. Formal Methods in Programming and Their Application, D. Bjorner, M. Broy, and I. Pottosin, eds., Lecture Notes in Computer Science, vol. 735, Springer-Verlag, 1993.
40. H. Wong-Toi, “Synthesis of contollers for linear hybrid automata,” Proc. 36th IEEE Conf. Decision and Control, San Diego, California, 1997.
41. E.M. Clarke and E.A. Emerson, “Synthesis of synchronization skeletons for branching time temporal logic,” in Logic of Programs: Workshop, Dexter and Kozen. eds., Lecture Notes in Cornputer Science, vol. 131, Springer-Verlag, 1981.
42. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and T. Hwang, “Symbolic model checking: lo2' states and beyond,” Proc. 4th Ann. Symp. Logic in Computer Science, June 1990.
43. T.A. Henzinger, P. Kopke, A. Pun, and P. 'Jaraiya, “What's decidable about hybrid automata,” Proc. 27th Ann. ACM S:imp. Theory of Computing, 1995.
44. G.J. Pappas and S. Sastry, “Straightening OUI rectangular differential inclusions,” Systenz and Control Letters, vol. 32, no. 2, pp.79-85, Sep., 1998.
45. G. Lafferriere, G. J. Pappas, and S. Sastry, “O-minimal hybrid systems,” Technical report UCB/ERLM98/29, Univ. California, Berkeley, May 1998.
46. Z. Manna and A. Pnueli, Temporal Verz3cation of Reactive Systems: Safety, Springer-Verlag, 1995.
47. H. Sipma, T. Uribe, and Z. Manna, “Deductive model checking,” Proc. 8th Int. Conf. Computer Aided Verljcication, Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, 1996.
48. Z. Manna and H. Sipma, “Deductive verification of hybrid systems using STeP,” in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 1386, Springer-Verlag, 1998.
49. P. Peleties and R.A. DeCarlo, “Asymptotic stability of m-switched systems using Lyapunov like functions,” Proc. American Control Conf., pp. 1679-1684, 1991.
50. M.S. Branicky, “Multiple Lyapunov functions and other analysis tools for switched and hybrid systems,” IEEE Trans. Automat. Contr., vol. 43, no. 4, April 1998.
51. L. Hou, A.N. Michel, and H. Ye, “Stability analysis of switched systems,” Proc. 3Sth Conf. Decision and Control, Kobe, Japan, 1996.
52. S. Petterson and B. Lennartson, “Stability and robustness of hybrid systems,” Proc. 35th Conf. Decision and Control, Kobe, Japan, 1996.
53. M. Johansson and A. Rantzer, “Computation of piecewise quadratic Lyapunov functions for hybrid systems,” IEEE Trans. Automat. Contr., vol. 43, no. 4, 1998.
54. S. Boyd, L.E. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM, Studies in Applied Mathematics, vol. 15, 1994.
55. C.A. Yfoulis, A. Muir, N.B.O.L. Pettit, and P.E. Wellstead, “Stabilization of orthogonal piecewise linear Lyapunov-like functions,” Proc. Conf. Decision and Control, Dec. 1998.
56. A. Hassibi and S. Boyd, “A class of Lyapunov functionals for analyzing hybrid dynamical systems,” Proc. American Contr. Conf., Feb. 1999.
57. K.X. He and M.D. Lemmon, “Lyapunov stability of continuous valued systems under the supervision of discrete event transition systems,” Hybrid Systems: Control and Computation, Lecture Notes in Computer Science, vol. 1386, Springer Verlag, 1998.
58. A. Deshpande and P. Varaiya, “Viable control of hybrid systems,” in Hybrid Systems If, P.J. Antsalus, W. Kohn, A N Nerode, and S. Sastry, eds., Lecture Notes in Computer Science, vol. 999, Springer Verlag, 1995.
59. J.S. Stiver, P.J. Antsakis, and M.D. Lemmon, “An invariant based approach to the design of hybrid control systems,” Proc. IFAC 13 th Triennial World Congress, vol. J, pp. 457-472, San Francisco, CA, 1996.
60. M.D. Lemmon and P.J. Antaklis, “Inductively inferring valid logical models of continuous state dynamical systems,” in Theoretical Computer Science, vol. 138, pp. 201-210, 1995.
61. P.E. Caines and Y.J. Wei, “The hierarchical lattices of finite state machines,” in System and Control Letters, vol. 25, pp. 257-263, 1994.
62. G.J. Pappas, G. Laffenriere, and S. Sastry, “Hierarchically consistent control systems,” Proc. 37th IEEE Conf Decison and Control, Tampa, FL, Dec. 1998.
63. A. Nerode and W. Kohn, “Multiple agent hybrid control architecture,” in Hybrid Systems, R.L. Grossman, A.N. Nerode, A.P. Ravn, andH. Kischel, eds., Lecture Notes in Computer Science, vol. 736, Springer-Verlag, 1993.
64. A. Isidori, Nonlinear Control Systems, Springer-Verlag, Berlin, 2nd ed., 1989.
65. A. Salomaa and M. Soittola, Automata Theoretic Aspects of Formal Power Series, Springer-Verlag, 1973.
66. M.D. Lemmon and C.J. Bett, “Safe implementations of supervisory commands,” Int. J. Control, Vol. 70, no. 2, pp 271-288, 1998.
67. J.S. Shamma and M. Athans, “Guaranteed properties of gain scheduled control for linear parameter-varying plants,” Automatica, vol. 27, pp. 559-564, 1990.
68. A.S. Morse, Control Using Logic Based Switching, Lecture Notes in Control and Information Sciences, vol. 222, Springer-Verlag, 1997.
69. C.J. Bett and M.D. Lemmon, “Bounded amplitude performance of switched LPV systems with applications to hybrid systems,” to appear in Automatica, 1999.
70. J. Lygeros, D.N. Godbole, and S. Sastry, “Multiagent hybrid system design using game theory and optimal control,” Proc. Conf. Decision and Control, Kobe Japan, pp. 1190-1195, 1996.
71. J. Lygeros, C.J. Tomlin, and S. Sastry, “On controller synthesis for nonlinear hybrid systems,” Proc. 37th IEEE Conf. Decision and Control, Tampa, Florida, Dec. 1998.