Controllers for reachability specifications for hybrid systems

Automatica

Volumn 35, Issue 3, 1999, Pages 349-370

  Lygeros, John ^a   Tomlin, Claire ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRANSPORTATION; CONTROL SYSTEM SYNTHESIS; DYNAMICS; GAME THEORY; INVARIANCE; SCADA SYSTEMS; STEAM GENERATORS;

CONTROLLED INVARIANCE; HYBRID SYSTEMS; MULTIOBJECTIVE CONTROLLERS; SAFETY PROPERTIES;

OPTIMAL CONTROL SYSTEMS;

EID: 0033100636     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(98)00193-9     Document Type: Article

References (50)

1. Abrial, J.-R. (1996). The steam-boiler control specification problem. In J.-R. Abrial, E. Börger, & H. Langmaack (Eds.), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science, (Vol. 1165). Berlin: Springer.
2. Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. H. (1993). Hybrid automaton: An algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, & H. Rischel (Eds.), Hybrid Systems, (Vol. 736, pp. 209-229). New York: Springer.
3. Alur, R., & Dill, D. (1994). A theory of timed automata. Theoret. Comput. Sci., 126, 183-235.
4. Alur, R., & Henzinger, T. A. (1996). Reactive modules. Proc. 11th Ann. Symp. on Logic in Computer Science, (pp. 207-218). Silverspring, MD: IEEE Computer Society Press.
5. Anderson, M., Bruck, D., Mattsson, S. E., & Schonthal, T. (1994). Omsim- an integrated interactive environment for object-oriented modeling and simulation. IEEE/IFAC Joint Symp. on Computer Aided Control System Design. (pp. 285-290).
6. Aubin, J.-P. (1991). Viability Theory. Boston: Birkhäuser.
7. Başar, T., & Olsder, G. J. (1995). Dynamic Non-cooperative Game Theory (2nd Ed.). New York: Academic Press.
8. Berg, J. M., Yezzi, A., & Tannenbaum. A. R. (1996). Phase transitions, curve evolution, and the control of semiconductor manufacturing processes. IEEE Conference on Decision and Control (pp. 3376-3381). Kobe, Japan, 11-13 December.
9. Branicky, M., Dolginova, E., & Lynch, N. (1997). A toolbox for proving and maintaining hybrid specifications. In A. Nerode P. Antsaklis, W. Kohn, & S. Sastry( Eds.), Hybrid Systems IV, Lecture Notes in Computer Science (Vol. 1273, pp. 18-30). Berlin: Springer.
10. Branicky, M. S. (1998). Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Automat. Control, 43(4), 475-482.
11. Branicky, M. S., Borkar, V. S., & Mitter, S. K. (1998). A unified framework for hybrid control: Model and optimal control theory. IEEE Trans. Automat. Control, 43(1), 31-45.
12. Brockett, R. W. (1993). Hybrid models for motion control systems. In H. L. Trentelman, & J. C. Willems (Eds.), Perspectives in Control. Basel: Birkhäuser.
13. Bryson, A. E., & Ho, Y.-C. (1975). Applied Optimal Control. Washington, DC: Hemisphere.
14. Büchi, J. R., & Landweber, L. H. (1969). Solving sequential conditions by finite-state operators. Proc. American Mathematical Society (pp. 295-311).
15. Daws, C., Olivero, A., & Yovine, S. (1994). Verifying ET-LOTOS programs with KRONOS. In D. Hogrefe, & S. Leue (Eds.), Proceedings 7th. IFIP W G G.1 International Conference of Formal Description Techniques, FORTE'94 (pp. 227-242). Bern, Switzerland, October 1994. Formal Description Techniques VII, London: Chapman & Hall.
16. Deshpande, A. (1994). Control of Hybrid Systems. Ph.D. thesis, Department of Electrical Engineering, University of California, Berkeley.
17. Deshpande, A., Gollu, A., & Semenzato, L. (1997). The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata. Technical Report UCB-ITS-PRR-97-7, Institute of Transportation Studies, University of California, Berkeley.
18. Heitmeyer, C., & Lynch, N. (1994). The generalized railroad crossing: A case study in formal verification of real-time systems. Proc. ICCC Real-Time Systems Symp., San Juan, Puerto Rico.
19. Henzinger, T., Kopke, P., Puri, A., & Varaiya, P. (1995a). What's decidable about hybrid automata. In 27th Annual Symposium on the Theory of Computing, STOC'95 (pp. 373-382). New York: ACM Press.
20. Henzinger, T. A., Ho, P. H., & Wong Toi, H. (1995b). A user guide to HYTECH. In E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria & B. Steffen (Eds.), TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1019, pp. 41-71). Berlin: Springer.
21. Henzinger, T. A., & Wong-Toi, H. (1996). Using HYTECH to synthesize control parameters for a steam boiler. In J.-R. Abrial, E. Börger, & H. Langmaack (Eds.), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science (Vol. 1165, pp. 265-282). Berlin: Springer.
22. Heymann, M., Lin, F., & Meyer, G. (1997). Control synthesis for a class of hybrid systems subject to configuration-based safety constraints. In Hybrid and Real Time Systems, Lecture Notes in Computer Science (Vol. 1201, pp. 376-391). Berlin: Springer.
23. Hynes, C.S., & Sherry, L. (1996). Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control. preprint, NASA Ames Research Center.
24. Kurshan, R. P. (1994). Computer-aided Verification of Coordinating Processes; The Automata-theoretic Approach. Princeton, NJ: Princeton University Press.
25. Lemmon, M., Stiver, J. A., & Antsaklis, P. J. (1993). Event identification and intelligent hybrid control. In R. L. Grossman, A. Nerode, A. P. Ravn, & H. Rischel (Eds.), Hybrid Systems, Lectrure Notes in Computer Science (Vol. 736, pp. 268-296). New York: Springer.
26. Lions, P. L. (1982). Generalized Solutions of Hamilton-Jacobi Equations. London: Pitman.
27. Lygeros, J. (1996c). Hierarchical Hybrid Control of Large Scale Systems. Ph.D. thesis, Department of Electrical Engineering, University of California, Berkeley.
28. Lygeros, J., Godbole, D. N., & Sastry, S. (1996b). A game theoretic approach to hybrid system design. Hybrid Systems III, Lecture Notes in Comptuer Science (Vol. 1066, pp. 1-12). Berlin: Springer.
29. Lygeros, J., Godbole, D. N., & Sastry, S. (1996a). Multiagent hybrid system design using game theory and optimal control. In IEEE Conf. on Decision and Control (pp. 1190-1195). Kobe, Japan, 11-13 December.
30. Lygeros, J., Godbole, D. N., & Sastry, S. (1996). Optimal control approach to multiagent, hierarchical system verification. In IFAC World Congress (pp. 389-394). San Fransisco, CA, USA, 30 June-5 July.
31. Lygeros, J., Godbole, D. N., & Sastry, S. (1998). Verified hybrid controllers for automated vehicles. IEEE Trans. Automat. Control, 43(4), 522-539.
32. Lynch, N., Segala, R., Vaandrager, F., & Weinberg, H. B. (1996). Hybrid I/O automata. In Hybrid Systems III, Lecture Notes in Computer Science (Vol. 1066, pp. 496-510). Berlin: Springer.
33. Maler, O., Pnueli, A., & Sifakis, J. (1995). On the synthesis of discrete controllers for timed systems. In Theoretical Aspects of Computer Science, Lecture Notes in Computer Science (Vol. 900, pp. 229-242). Berlin: Springer.
34. Manna, Z., & Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. Berlin: Springer.
35. Manna, Z., & Pnueli, A. (1995). Temporal Verification of Reactive Systems: Safety. New York: Springer.
36. Nerode, A., & Kohn, W. (1993a). Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. P. Nerode, A. P. Ravn & H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science (Vol. 736, pp. 317-356). New York: Springer.
37. Nerode, A., & Kohn, W. (1993b). Multiple agent hybrid control architecture. In R. L. Grossman, A. Nerode, A. P. Ravn & H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science (Vol. 736, pp. 297-316). New York: Springer.
38. Nicollin, X., Olivero, A., Sifakis, J., & Yovine, S. (1993). An approach to the description and analysis of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn & H. Rischel (Eds.), Hybrid Systems Lecture Notes in Computer Science (Vol. 736, pp. 149-178). New York: Springer.
39. Puri, A. (1995). Theory of Hybrid Systems and Discrete Event Systems. Ph.D. thesis, Department of Electrical Engineering, University of California, Berkeley.
40. Puri, A., & Varaiya, P. (1995). Verification of hybrid systems using abstractions. In Hybrid Systems II Lecture Notes in Computer Science (Vol. 999). Berlin: Springer.
41. Ramadge, P. J. G., & Wonham, W. M. (1989). The control of discrete event systems. Proc. IEEE, 77(1), 81-98.
42. Schwartz, A. L. (1996). Theory and Implementation of Numerical Methods Based on Runge-Kutta Integration for Solving Optimal Control Problems. Ph.D. thesis, Department of Electrical Engineering, University of California, Berkeley.
43. Sethian, J. A. (1996). Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science. New York: Cambridge University Press.
44. Seto, D., Krogh, B., Sha, L., & Chutinan, A. (1998). Dynamic control system upgrade using the Simplex architecture. In American Control Conf. (pp. 3504-3508). Philadelphia, Pennsylvania, USA, 24-26 June.
45. Tavernini, L. (1987). Differential automata and their simulators. Nonlinear Anal. Theory Methods Appl., 11(6), 665-683.
46. Thomas, W. (1995). On the synthesis of strategies in infinite games. In E. W. Mayr & C. Puech (Eds.), Proc. STACS 95. Lecture Notes in Computer Science (Vol. 900, pp. 1-13). Munich: Springer.
47. Tomlin, C., Lygeros, J., & Sastry, S. (1998). Synthesizing controllers for nonlinear hybrid systems. In S. Sastry & T. A. Henzinger (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Computer Science (Vol. 1386, pp. 360-373). Berlin: Springer.
48. Tomlin, C., Pappas, G., & Sastry, S. (1998). Conflict resolution for air traffic management: A case study in multi-agent hybrid systems. IEEE Trans. Automat. Control, 43(4), 509-521.
49. Wong-Toi, H. (1997). The synthesis of controllers for linear hybrid automata. In IEEE Conference on Decision and Control, (pp. 4607-4613). San Diego, California, USA, 10-12 December.
50. Ye, H., Michel, A., & Hou, L. (1998). Stability theory for hybrid dynamical systems. IEEE Trans. Automat. Control, 43(4), 461-474.