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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
C. Zhou, C. A.R. Hoare, A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5), pp 269–276, 1991.
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.
C. Zhou and X. Li. Mean value calculus. A Classical Mind, pp 431–451, Prentice-Hall, 1994.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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