Abstract
The problem of systematically synthesizing hybrid controllers that satisfy multiple requirements is considered. We present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisfy the most important requirement (which we refer to as safety). The system performance with respect to the lower priority requirement (which we refer to as efficiency) can then be optimized within this class. We motivate our approach by three examples, one purely discrete (the problem of reachability in finite automata) one hybrid (the steam boiler problem) and one primarily continuous (a flight vehicle management system).
Research supported by the Army Research Office under grant DAAH 04-95-1-0588, the PATH program, Institute of Transportation Studies, University of California, Berkeley, under MOU-238, and by NASA under grant NAG 2-1039.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J. Lygeros, Hierarchical Hybrid Control of Large Scale Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1996.
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.
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.
A. Deshpande, Control of Hybrid Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1994.
A. Puri, Theory of Hybrid Systems and Discrete Event Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1995.
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.
R. Alur and T. A. Henzinger, Computer-Aided Verification. 1996. to appear.
M. S. Branicky, Control of Hybrid Systems. PhD thesis, Massacussets Institute of Technology, 1994.
J. Lygeros, D. N. Godbole, and S. Sastry, “Optimal control approach to multiagent, hierarchical system verification,” in IFAC World Congress, 1996.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lygeros, J., Tomlin, C., Sastry, S. (1997). Multiobjective hybrid controller synthesis. In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014720
Download citation
DOI: https://doi.org/10.1007/BFb0014720
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62600-8
Online ISBN: 978-3-540-68330-8
eBook Packages: Springer Book Archive