Sampling semantics of duration calculus

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

Volumn 1135, Issue , 1996, Pages 188-207

  Van Hung, Dang ^a   Giang, Phan Hong ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CONTINUOUS TIME SYSTEMS; FAULT TOLERANCE; SEMANTICS;

BIPHASE; CONTINUOUS-TIME; DISCRETE OBSERVATIONS; DISCRETIZATIONS; DURATION CALCULUS; NON-TRIVIAL; PHYSICAL ENVIRONMENTS; SAMPLING STEPS;

REAL TIME SYSTEMS;

EID: 84947753772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. P. J. Antsaklis, J. A. Stiver, M. Lemmon, Hybrid system modeling and autonomous control systems, LNCS 736, 1993, pp. 366-392.
2. A. Bouajjani, R. Echahed and R. Robbana, Verifying Invariance Properties of Timed Systems with Duration Variables, Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994, pp. 193-210.
3. D. Bosscher et al. Verification of an Audio Control Protocol, LNCS 863, 1994, pp. 170-192.
4. Z. Chaochen, C. A. R. Hoare, A. P. Ravn, A calculus of durations, Information Processing Letters, 40, 1992, pp. 269-276.
5. Z. Chaochen, A. P. Ravn, M. R. Hansen, Extended Duration Calculus for Hybrid Real-time Systems, LNCS 736, 1993, pp. 36-59.
6. Z. Chaochen, M.R. Hansen and P. Sestoft, Decidability and Undecidability Results for Duration Calculus, In STACS'93, P. Enjalbert, A. Finkel and K.W. Wagner (eds), LNCS 665, Springer-Verlag 1993, pp. 58-68.
7. M.R. Hansen, Model-Checking Discrete Duration Calculus Formal Aspect of Computing, 1994, pp. 826-845.
8. D.V. Hung and P.H. Giang, A Sampling Semantics of Duration Calculus, UNU/IIST report, No. 50, 1996.
9. D.V. Hung and W. Ji, On the design of hybrid control systems using I/O automata, UNU/IIST report, No. 34, 1994.
10. T. Henzinger, Z. Manna, and A. Pnueli, What Good are Digital Clocks?, Springer- Verlag, LNCS 623, 1992.
11. J. S. Moore A formal model of asynchronous communication and its use in mechanically verifying a Biphase Mark Protocol, Formal Aspects of Computing, 6, 1994, pp. 60-91.
12. B. Moszkowski, A temporal Logic for Multilevel Reasoning about Hardware, IEEE Computer, Vol. 18, No. 2, 1985, pp. 10-19.
13. A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, controllability, observability, LNCS 736, 1993, pp. 317-356.
14. X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, An approach to the description and analysis of hybrid systems, LNCS 736, 1993, pp. 149-178.
15. A. Pnueli, Development of Hybrid Systems, Formal Techniques in Real-Time and Fanlt-Tolerant Systems, LNCS 863, 1994, pp. 77-8.