Skip to main content

Control synthesis for a class of hybrid systems subject to configuration-based safety constraints

  • Conference paper
  • First Online:
Hybrid and Real-Time Systems (HART 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1201))

Included in the following conference series:

  • 165 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-R. Abrial, 1995. Steam-boiler control specification problem. Dagstuhl Meeting: Method for Semantics and Specification.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. Asarin, O. Maler and A. Pnueli, 1995. Symbolic Controller Synthesis for Discrete and Timed systems, Hybrid Systems II.

    Google Scholar 

  6. M. S. Branicky, 1995. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science, 138, pp. 67–100.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. T. A. Henzinger and H. Wong-Toi, 1996. Using HYTECH to synthesize control parameters for a steam boiler. Preprint.

    Google Scholar 

  9. M. Heymann 1990. Concurrency and discrete event control, IEEE Control Systems Magazine, Vol. 10, No.4, pp 103–112.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. M. Heymann and F. Lin, 1996. Discrete event control of nondeterministic systems. control of nondeterministic systems, CIS Report 9601, Technion, Israel.

    Google Scholar 

  12. M. Heymann and F. Lin, 1996. Hierarchical hybrid machines. To appear.

    Google Scholar 

  13. F. Lin and W. M. Wonham, 1988. On observability of discrete event systems. Information Sciences, 44(3), pp. 173–198.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. O. Maler, A. Pnueli, and J. Sifakis, 1995. On the Synthesis of Discrete Controllers for Timed Systems, STACS'95.

    Google Scholar 

  16. Z. Manna and A. Pnueli, 1993. Verifying hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 4–35.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Oded Maler

Rights and permissions

Reprints 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

Publish with us

Policies and ethics