Skip to main content
SpringerLink
Log in
Book cover

International Hybrid Systems Workshop

HS 1997: Hybrid Systems V pp 414–428Cite as

Control of Interval Temporal Systems

  • Conference paper
  • First Online:

  • 458 Accesses

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

Abstract

This paper presents a control framework for interval temporal systems, in particular systems modeled by expressions of Duration Calculus. Duration Calculus is a formal specification language for real-time systems. Its distinguishing feature is to formalize and reason about interval properties of discrete states of systems. In this paper, interval temporal systems are taken as dynamic systems equipped with a state space, and a state transition structure. A control structure is adjoined to such systems, and this makes it possible to restrict the systems behaviors so that the closed systems behaviors can satisfy the required specifications. Some typical control issues are solved within this framework.

This work was supported by the 863 Hi-Tech Programme of China.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. R. Hansen and C. Zhou. Semantics and completeness of duration calculus. Proc. of Real-Time: Theory in Practice, Lectures Notes in Computer Science, No. 600, J.-W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg eds., pp 209–226, Speringer-Verlag, 1992.

    Google Scholar 

  2. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1), pp 206–230, 1987.

    Article  MathSciNet  Google Scholar 

  3. W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization, 25(3), pp 637–659, 1987.

    Article  MathSciNet  Google Scholar 

  4. X. Yu, J. Wang, C. Zhou and P. K. Pandya. Formal design of hybrid systems. Proc. of Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, No. 863, H. Langmaack, W.-P. de Roever and J. Vytopil Eds., pp 738–755, Springer-Verlag, 1994.

    Chapter  Google Scholar 

  5. C. Zhou, C. A.R. Hoare, A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5), pp 269–276, 1991.

    Article  MathSciNet  Google Scholar 

  6. C. Zhou, A. P. Ravn, M. R. Hansen. An extended duration calculus for hybrid real-time systems. Lecture Notes in Computer Science, No. 736, A. Nerode, A. P. Ravn and H. Rischel Eds., pp 36–59, 1993.

    Google Scholar 

  7. C. Zhou and X. Li. Mean value calculus. A Classical Mind, pp 431–451, Prentice-Hall, 1994.

    Google Scholar 

  8. C. Zhou. Duration calculi: an overview. Formal Methods in Programming and Their Applications, Lecture Notes in Computer Science, No. 735, D. Bjorner, M. Broy and I. V. Pottosin Eds., 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mechanical and Industrial Engineering, University of Toronto, 5 King’s College Road, Toronto, ON, Canada, M5S 3G8

    Xinyao Yu

  2. Department of Automatic Control, Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road,Haidian, Beijing, China, 100083

    Xinyao Yu & Zongji Chen

Authors
  1. Xinyao Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zongji Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 46556, USA

    Panos Antsaklis  & Michael Lemmon  & 

  2. Hynomics Corporation, 10632 NE 37th Circle, Building 23, Kirkland, WA, 98033, USA

    Wolf Kohn

  3. Department of Mathematics, Cornell University, 217, White Hall, Ithaca, NY, 14853, USA

    Anil Nerode

  4. Electronic Research Laboratory, University of California at Berkeley, 253 Cory Hall, Berkeley, CA, 94720, USA

    Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yu, X., Chen, Z. (1999). Control of Interval Temporal Systems. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems V. HS 1997. Lecture Notes in Computer Science, vol 1567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49163-5_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-49163-5_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65643-2

  • Online ISBN: 978-3-540-49163-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation