Checking hybrid automata for linear duration invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1345, Issue , 1997, Pages 166-180

  Xuandong, Li ^a   van Hung, Dang ^a   Tao, Zheng ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Duration calculus; Linear programming; Model checking; Real time and hybrid systems

Indexed keywords

AUTOMATA THEORY; CALCULATIONS; HYBRID SYSTEMS; LINEAR PROGRAMMING; REAL TIME SYSTEMS;

DURATION CALCULUS; HYBRID AUTOMATONS; LINEAR DURATION; LINEAR INEQUALITIES; REAL TIME; REAL-TIME PROPERTIES; SYSTEM STATE;

MODEL CHECKING;

EID: 84957671376     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63875-X_51     Document Type: Conference Paper

References (10)

1. E. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H.Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. In Theoretical Computer Science, 138(1995), pp.3-34.
2. Thomas A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278-292.
3. Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A Calculus of Durations. In Information Processing Letter, 40, 5, 1991, pp.269-276.
4. 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.
5. Rajeev Alur, David L. Dill. A theory of timed automata. In Theoretical Computer Science, 126(1994), pp.183-235.
6. Y. Kesten, A. Pnuełi, J. Sifakis, S. Yovine. Integration Graphs: A Class of Deeidable Hybrid Systems. In Hybrid System, LNCS 736, pp.179-208.
7. 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.
8. 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.
9. Li Xuandong, Dang Van Hung. Checking Linear Duration Invariants by Linear Programming. In Concurrence and Parallelism, Programming, Networking, and Security, LNCS 1179, pp.321-332.
10. Li Xuandong, Dang Van Hung, Zheng Tao. Checking Hybrid Automata for Linear Duration Invariants. Research report 109, UNU/IIST, P.O.Box 3058, Macau, June 1997.