Abstract
In this paper, the problem of verifying a timed automaton for a Duration Calculus formula in the form of linear duration invariants
Preview
Unable to display preview. Download preview PDF.
References
Rajeev Alur, David L. Dill. A theory of timed automata. In Theoretical Computer Science, 126(1994), pp.183–235.
Zhou Chaochen, Zhang Jingzhong, Yang Lu and Li Xiaoshan. Linear Duration Invariants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pp.88–109.
Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A Calculus of Durations. In Information Processing Letter, 40, 5, 1991, pp.269–276.
Michael R. Hansen. Model-Checking Discrete Duration Calculus. In Formal Aspects of Computing (1994) 6A, pp.826–845.
Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine. Integration Graphs: A Class of Decidable Hybrid Systems. In Hybrid System, LNCS 736, pp.179–208.
S.C. Kleene. Representation of Events in Nerve Nets and Finite Automata. In Automata Studies, C.Shannon and J. McCarthy (eds.), Princeton Univ. Press, Princeton, NJ, 1956, pp.3–41.
J.U. Skakkebæk and N. Shankar. Towards a Duration Calculus proof assistant in PVS. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pp.660–697.
Li Xuandong, Dang Van Hung. Checking Linear Duration Invariants by Linear Programming. Research report 70, UNU/IIST, P.O.Box 3058, Macau, May 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xuandong, L., Van Hung, D. (1996). Checking linear duration invariants by linear programming. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027804
Download citation
DOI: https://doi.org/10.1007/BFb0027804
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62031-0
Online ISBN: 978-3-540-49626-7
eBook Packages: Springer Book Archive