Multiobjective hybrid controller synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1201, Issue , 1997, Pages 109-123

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

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOILERS; CONTROLLERS; ENGINES; INTERACTIVE COMPUTER SYSTEMS;

FLIGHT VEHICLES; HYBRID CONTROLLER; MULTI OBJECTIVE; OPTIMAL CONTROLS; REACHABILITY; STEAM BOILER;

REAL TIME SYSTEMS;

EID: 84957702766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014720     Document Type: Conference Paper

References (12)

1. J. Lygeros, Hierarchical Hybrid Control of Large Scale Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1996.
2. T. A. Henzinger and H. Wong-Toi, "Using HyTech to synthesize control parameters for a steam boiler," in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS, Springer Verlag, 1996.
3. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho, "Hybrid automaton: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid System, no. 736 in LNCS, pp. 209-229, Springer Verlag, 1993.
4. A. Deshpande, Control of Hybrid Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1994.
5. A. Puri, Theory of Hybrid Systems and Discrete Event Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1995.
6. N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg, "Hybrid I/O automata," in Hybrid Systems III, no. 1066 in LNCS, pp. 496-510, Springer Verlag, 1996.
7. R. Alur and T. A. Henzinger, Computer-Aided Verification. 1996. to appear.
8. M. S. Branicky, Control of Hybrid Systems. PhD thesis, Massacussets Institute of Technology, 1994.
9. J. Lygeros, D. N. Godbole, and S. Sastry, "Optimal control approach to multiagent, hierarchical system verification," in IFAC World Congress, 1996.
10. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event dynamical systems," Proceedings of the IEEE, vol. Vol.77, no. 1, pp. 81-98, 1989.
11. J.-R. Abrial, "The steam-boiler control specification problem," in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS, Springer Verlag, 1996.
12. C. S. Hynes and L. Sherry, "Synthesis from design requirements of a hybrid system for transport aircraft longitudinal control." (preprint), NASA Ames Research Center, 1996.