Analysis of three hybrid systems in timed μCRL

Science of Computer Programming

Volumn 39, Issue 2-3, 2001, Pages 215-247

  Groote, Jan Friso ^a,b   Van Wamel, Jos ^a  

^a CWI   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; LINEAR CONTROL SYSTEMS; PROCESS CONTROL;

HYBRID CONTROL SYSTEMS;

COMPUTER CONTROL SYSTEMS;

EID: 0035283846     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(00)00010-1     Document Type: Article

References (17)

1. Alur R., Dill D.L. A theory of timed automata. Theor. Comput. Sci. 126:1994;183-235.
2. Alur R., Henzinger T.A., Ho P.-H. Automatic symbolic verification of embedded systems. IEEE Trans. Software Engng. 22:1996;181-201.
3. Baeten J.C.M., Bergstra J.A. Real time process algebra. J. Formal Aspects Comput. Sci. 3(2):1991;142-188.
4. Baeten J.C.M., Bergstra J.A. Discrete time process algebra. Formal Aspects Comput. 8(2):1996;188-208.
5. Bezem M.A., Groote J.F. Invariants in process algebra with data. Jonsson B., Parrow J. Proc. of Concur '94. Lecture Notes in Computer Science. 836:1994;401-416 Springer, Berlin.
6. J.F. Groote, The syntax and semantics of timed μCRL , Technical Report SEN-R9709, CWI, 1997.
7. Groote J.F., Ponse A. The syntax and semantics of. μ CRL Ponse A., Verhoef C., van Vlijmen S.F.M. Algebra of Communicating Processes, Workshops in Computing. 1994;26-62 Springer, Berlin.
8. Groote J.F., Ponse A. Proof theory for. μ CRL a language for processes with data Andrews D.J., Groote J.F., Middelburg C.A. Proc. Internat. Workshop on Semantics of Specification Languages, Workshops in Computing. 1994;232-251 Springer, Berlin.
9. Groote J.F., Reniers M.A., van Wamel J.J., van der Zwaag M.B. A theoretical basis for. μ CRL with time, to appear as Technical Report:2000;CWI, Amsterdam.
10. J.F. Groote, J.J. van Wamel, Basic theorems for parallel processes in timed μCRL , Revised version of Technical Report SEN-R9808, CWI, 1999. Available at http://www.cwi.nl/j̃fg/publications1.html. Communicated at the WDS'99 workshop in Iaşi, Romania, 1999.
11. C. Heitmeyer, N.A. Lynch, The generalized railroad crossing - a case study in formal verification of real-time systems, Proc. 15th IEEE Real-Time Systems Symp., San Juan, Puerto Rico, 1994, pp. 120-131.
12. Henzinger T.A., Ho P.-H., Wong-Toi H. HYTECH. a model checker for hybrid systems Software Tools Technol. Transfer. 1:1997;110-122.
13. A.S. Klusener, Models and axioms for a fragment of real time process algebra, Ph.D. Thesis. Eindhoven University of Technology, 1993.
14. Léonard L., Leduc G. An introduction to ET-LOTOS for the description of time-sensitive systems. Comput. Networks ISDN Syst. 29:1997;271-292.
15. Nicollin X., Sifakis J. ATP: theory and application. Inform. Comput. 114:1994;131-178.
16. Quemada J., Miguel C., de Frutos D., Llana L. A Timed LOTOS extension. Rus T., Rattray C. Theories and Experiences for Real-Time System Development, AMAST Series in Computing. 1994;239-263.
17. Reed G.M., Roscoe A.W. A timed model for communicating sequential processes. Theor. Comput. Sci. 58:1988;249-261.