Session F5: VLSI design ans system architecture I. Chairman: A. Núnez
Cycle calculus for hybrid systems

https://doi.org/10.1016/0165-6074(93)90093-ZGet rights and content

Abstract

This paper introduces a framework within which requirement specification of hybrid system can be expressed and analysed. The framework consists of a calculus, known as Cycle calculus, and a development method. In the present paper we concentrate on the calculus and its application in the specification and verification of an automatic door system.

References (9)

  • James F. Allen

    Towards a General Theory of Action and Time

    Artificial Intelligence

    (1984)
  • James F. Allen

    Maintaining Knowledge about Temporal Intervals

    CACM

    (1983)
  • Antony Galton

    Temporal Logics and their Applications

    (1987)
  • F. Jahanian et al.

    Safety analysis of timing properties in real-time systems

    IEEE Trans S.E.

    (1986)
There are more references available in the full text version of this article.

Cited by (0)

View full text
Copyright © 1993 Published by Elsevier B.V.