Skip to main content
SpringerLink
Log in

Synthesis of minimally restrictive legal controllers for a class of hybrid systems

  • Conference paper
  • First Online:
Hybrid Systems IV (HS 1996)

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

Included in the following conference series:

Abstract

In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety specifications. CHMs are a fairly general class of hybrid systems modeled in modular fashion as the concurrent operation of Elementary Hybrid Machines (EHMs). The formalism has a well-defined synchronous-composition operation that permits the introduction of the controller as a component of the system. The task of a legal controller is to ensure that the system never exits a set of specified legal configurations. Among the legal controllers, we are particularly interested in designing a minimally-restrictive (or minimally-interventive) one, which interferes in the system's operation only when constraint violation is otherwise inevitable. Thus, when composed to operate concurrently with another legal controller, our controller will never interfere with the operation of the other. Therefore, a minimally-restrictive controller provides maximum flexibility in embedding additional controllers designed for other control objectives to operate concurrently, while eliminating the need to re-investigate or re-verify the legality of the composite controller. We describe in detail an algorithm for controller synthesis and examine through several examples questions associated with algorithm termination and controller existence.

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 the first 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

Log in via an institution

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, T. A. Henzinger, and P.-H. Ho, 1993. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 209–229.

    Google Scholar 

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

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

  6. E. Azarin, O. Maler, and A. Pnueli, 1995. Symbolic Controller Synthesis for Dis crete and Timed Systems, Hybrid Systems II, Lecture Notes in Computer Science, 999, Springer Verlag, pp. 1–20.

    Google Scholar 

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

    Google Scholar 

  8. R. W. Brockett, 1993. Hybrid models for motion control systems. In H.L. Trentelman and J.C. Willems (Eds.), Essays in Control: Perspectives in the theory and its applications, pp. 29–53, Birkhauser, Boston.

    Google Scholar 

  9. S. L. Chung, S. Lafortune and F. Lin, 1992. Limited lookahead policies in supervisory control of discrete event systems. IEEE Transactions on Automatic Control, 37(12), pp. 1921–1935.

    Google Scholar 

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

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

    Google Scholar 

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

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

    Google Scholar 

  14. M. Heymann and F. Lin, 1996. Nonblocking supervisory control of nondeterministic systems, CIS Report 9620, Technion, Israel.

    Google Scholar 

  15. M. Heymann, F. Lin and G. Meyer, 1997. Control Synthesis for a Class of Hybrid Systems Subject to Configuration Based Safety Constraints. in O. Maler (Ed.), “Hybrid and Real-Time Systems”, Proceedings of HART97, Lecture Notes in Computer Science 1201 pp. 376–390, Springer Verlag.

    Google Scholar 

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

    Google Scholar 

  17. F. Lin and W. M. Wonham, 1990. Decentralized control and coordination of discrete event systems with partial observation. IEEE Transactions on Automatic Control, 35(12), pp. 1330–1337.

    Google Scholar 

  18. F. Lin and W. M. Wonham, 1994. Supervisory control of timed discrete event systems under partial observation, IEEE Transactions on Automatic Control, 40(3), pp. 558–562.

    Google Scholar 

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

  20. O. Maler, A. Pnueli and J. Sifakis, 1995. On the synthesis of discrete controllers for timed systems, Lecture Notes in Computer Science 900, pp. 229–242. Springer-Verlag.

    Google Scholar 

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

    Google Scholar 

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

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

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

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

  26. P. J. Ramadge and W. M. Wonham, 1989. The control of discrete event systems. Proceedings of IEEE, 77(1), pp. 81–98.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technion, Israel Institute of Technology, 32000, Haifa, Israel

    Michael Heymann

  2. Department of Electrical and Computer Engineering, Wayne State University, 48202, Detroit, MI

    Feng Lin

  3. NASA Ames Research Center, 94035, Moffett Field, CA

    George Meyer

Authors
  1. Michael Heymann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Feng Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. George Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

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). Synthesis of minimally restrictive legal controllers for a class of hybrid systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031559

Download citation

  • DOI: https://doi.org/10.1007/BFb0031559

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63358-7

  • Online ISBN: 978-3-540-69523-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation