A formal description of hybrid systems

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

Volumn 1066, Issue , 1996, Pages 511-530

  Chaochen, Zhou ^a,b   Ji, Wang ^c   Ravn, Anders P ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b Institute of Software   (China)

^c Department of Computer Science   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; DYNAMICAL SYSTEMS; SEMANTICS;

CONTINUOUS PROCESS; DURATION CALCULUS; FORMAL DESCRIPTION; GENERAL THEORY; HYBRID SYSTEM MODELS; MATHEMATICAL ANALYSIS; PROOF SYSTEM; REAL TIME;

HYBRID SYSTEMS;

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

References (17)

1. P.J. Antsaklis, J.A. Stiver and M.D. Lemmon. Hybrid System Modeling and Autonomous Control Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 366-392, Springer Verlag, 1993.
2. M.S. Branicky, V.S. Brokar and S.K. Mitter. A Unified Framework for Hybrid Control. In Proceedings of the 33rd Conference on the Decision and Control, pp 4228-4234, IEEE Press, 1994
3. A. Back, J. Guckenheimer and M. Myers. A Dynamical Similation Facility for Hybrid Systems, In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 255-267, Springer Verlag, 1993.
4. A. Bensoussan and J.-L. Lions. Impulse Control and Quasi-Variational Inequalities. Gauthier-Villars, Paris, 1984.
5. Jifeng He. From CSP to Hybrid Systems, In A Classical Mind, Essays in Honour of C.A.R. Hoare, A.W. Roscoe ed., pp 171-189, Prentice-Hall International, 1994.
6. C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall International, 1985.
7. M.R. Hansen, E.-R. Olderog, M. Schenke, M. Fränzle, M. Müller-Olm, B. von Karger and H. Rischel. A Duration Semantics for Real-Time Reactive Systems. Technical Report, № OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany, 1993.
8. N.F. Karstensen and S. Mørk. Duration Calculus Semantics for SDL, Master’s Thesis, Department of Computer Science, Technical University of Denmark, 1995.
9. R. Milner. Communication and Concurrency, Prentice-Hall International, 1989.
10. Z. Manna and A. Pnueli. Verifying Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 4-35, Springer Verlag, 1993.
11. A. Nerode and W. Kohn. Models for Hybrid Systems: Automata, Topologies, Controllability Observability. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 317-356, Springer Verlag, 1993.
12. X. Nicollin, A. Olivero, J. Sifakis and S. Yovine. An Approach to the Description and Analysis of Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 149-178, Springer Verlag, 1993.
13. G.M. Reed and A.W. Roscoe. Metric Spaces as Models for Real-Time Concurrency. In Mathematical Foundations of Programming, LNCS 298, pp 331-343, Springer Verlag, 1987.
14. Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proc. of ICALP’91, LNCS 510, Springer Verlag, 1991.
15. Zhou Chaochen, C.A.R. Hoare and A.P. Ravn. A Calculus for Durations. In Information Processing Letters, 40(5), pp 269-276, 1991.
16. Zhou Chaochen, M.R. Hansen, A.P. Ravn and H. Rischel. Duration Specifications for Shared Processors. In Proc. of Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, pp 21-32, Springer Verlag, 1992.
17. Zhou Chaochen, A.P. Ravn and M.R. Hansen. An Extended Duration Calculus for Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 36-59, Springer Verlag, 1993.