Some decidability results for duration calculus under synchronous interpretation

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

Volumn 1486, Issue , 1998, Pages 186-197

  Satpathy, Manoranjan ^a   Van Hung, Dang ^b   Pandya, Paritosh K ^c  

^a INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI   (India)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTABILITY AND DECIDABILITY; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS;

AUTOMATED REASONING; DURATION CALCULUS; FORMAL NOTATIONS; REAL NUMBER; STATES CHANGE; SYSTEM CLOCK; TIME POINTS; UNDECIDABILITY;

REAL TIME SYSTEMS;

EID: 84943268511     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055347     Document Type: Conference Paper

References (12)

1. Bouajjani A., Lakhnech Y. & Robbana R., From Duration Calculus to Linear Hybrid Automata, Proc. of 7th Intnl. Conf. on Computaer Aided Verification (CAV '95), LNCS No. 939, 1995.
2. Dutertre B., Complete Proof systems for First Order Interval Logic, Tenth Annual IEEE Symposium on Logic in Computer Science, pp. 36-43, IEEE Press, 1995.
3. Fänzle M., Controller Design from Temporal Logic: Undecidability need not matter, Dissertation, University of Kiel, 1996.
4. Hansen M.R. & Zhou Chaochen, Duration Calculus: Logical Foundations, To appear in Formal Aspects of Computing, Springer Verlag.
5. Joseph M., Real-Time Systems:Specification, Verification and Analysis, Printice Hall Intl. Series in Computer Science, 1996.
6. Ravn A.P., Rischel H. & Hansen K.M., Specifying and Verifying Requirements of Real-Time Systems, IEEE Tr. on Software Engineering, Vol 19(1), January 1993.
7. Satpathy M., Hung D.V. & Pandya P.K., Some Results on the Decidability of Duration Calculus under Synchronous Interpretation, TR No. 86, UNU/IIST, Macau, 1996.
8. Skakkebaek J.U., Ravn A.P., Rischel H. & Zhao Chao Chen, Specification of Embedded real-time systems, Proc. of Euromicro Workshop on real-time systems, IEEE Computer Society Press, 1992.
9. Skakkebaek J.U. & Sestoft P, Checking Validity of Duration Calculus Formulas, Report ID/DTH/JUS 3/1, Technical University of Denmark, Denmark, 1994.
10. Yuhua Z. & Zhou Chaochen, A Formal Proof of the Deadline Driven Scheduler, Third International Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lubeck (Germany), LNCS No. 863, Springer Verlag, 1994, pp. 756-775.
11. Zhou Chaochen, Hoare C.A.R. & Ravn A.P., A calculus of durations, Information Processing Letters, Vol 40(5), pp. 269-276, 1991.
12. Zhou Chaochen, Hansen M.R. & Sestoft P, Decidability and Undecidability Results in Duration Calculus, Proc. of the 10th Annual Symposium on Theoretical Aspects of Computer Science (STACS 93), LNCS No. 665, Springer Verlag, 1993.