Abstract
We examine a class of hybrid systems called Composite Hybrid Machines (CHMs), that consist of the concurrent (and partially synchronized) operation of Elementary Hybrid Machines (EHMs). Legal behavior is specified by a set of illegal configurations that the CHM may not enter, and is to be achieved by the concurrent operation of the CHM with a suitably designed legal controller. A legal controller is minimally restrictive if, when composed to operate concurrently with another legal controller, it will never interfere with the operation of the other controller. We focus attention on the problem of synthesizing a minimally restrictive legal controller, whenever a legal controller exists. We present an algorithm for the synthesis of minimally restrictive legal controllers for CHMs with rate-limited dynamics, where legal guards are conjunctions or disjunctions of atomic formulas in the dynamic variables (of the type x ≤ x0 or x ≥ x0).
We demonstrate our approach by synthesizing a minimally restrictive controller for a steam boiler (the verification of which recently received a great deal of attention).
This research is supported in part by the National Science Foundation under grant ECS-9315344 and NASA under grant NAG2-1043 and in part by the Technion Fund for Promotion of Research.
The work by this author was completed while he was a Senior NRC Research Associate at NASA Ames Research Center, Moffett Field, CA 94035.
Preview
Unable to display preview. Download preview PDF.
References
J.-R. Abrial, 1995. Steam-boiler control specification problem. Dagstuhl Meeting: Method for Semantics and Specification.
R. Alur and D. Dill, 1990. Automata for modeling real-time systems. Proc. of the 17th International Colloquium on Automata, Languages and Programming, pp. 322–336.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138, pp. 3–34.
P.J. Antsaklis, J.A. Stiver, and M. Lemmon, 1993. Hybrid system modeling and autonomous control systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 366–392.
Asarin, O. Maler and A. Pnueli, 1995. Symbolic Controller Synthesis for Discrete and Timed systems, Hybrid Systems II.
M. S. Branicky, 1995. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science, 138, pp. 67–100.
T. Henzinger, P. Kopke, A. Puri and P. Varaiya, 1995. What's decidable about hybrid automata, Proc. of the 27th Annual ACM Symposium on the Theory of Computing.
T. A. Henzinger and H. Wong-Toi, 1996. Using HYTECH to synthesize control parameters for a steam boiler. Preprint.
M. Heymann 1990. Concurrency and discrete event control, IEEE Control Systems Magazine, Vol. 10, No.4, pp 103–112.
M. Heymann and F. Lin, 1994. On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 4(3), pp. 221–236.
M. Heymann and F. Lin, 1996. Discrete event control of nondeterministic systems. control of nondeterministic systems, CIS Report 9601, Technion, Israel.
M. Heymann and F. Lin, 1996. Hierarchical hybrid machines. To appear.
F. Lin and W. M. Wonham, 1988. On observability of discrete event systems. Information Sciences, 44(3), pp. 173–198.
O. Maler, Z. Manna and A. Pnueli, 1991. From timed to hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pp. 447–484. Springer Verlag.
O. Maler, A. Pnueli, and J. Sifakis, 1995. On the Synthesis of Discrete Controllers for Timed Systems, STACS'95.
Z. Manna and A. Pnueli, 1993. Verifying hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 4–35.
A. Nerode and W. Kohn, 1993. Models for hybrid systems: automata, topologies, controllability, observability. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 317–356.
X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, 1993. Am approach to the description and analysis of hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 149–178.
X. Nicollin, J. Sifakis, and S. Yovine, 1991. From ATP to timed graphs and hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, pp. 549–572.
R. J. Ramadge and W. M. Wonham, 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1), pp. 206–230.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heymann, M., Lin, F., Meyer, G. (1997). Control synthesis for a class of hybrid systems subject to configuration-based safety constraints. 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/BFb0014739
Download citation
DOI: https://doi.org/10.1007/BFb0014739
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