An Extended Duration Calculus for Hybrid Systems

Zhou Chaochen; A. P. Ravn; Michael Reichhardt Hansen; R. L.  and and and Grossman; A. Nerode; H. Rischel; A. P. Ravn

An Extended Duration Calculus for Hybrid Systems

Zhou Chaochen
, A. P. Ravn
, Michael Reichhardt Hansen
, R. L. and and and Grossman (Editor)
, A. Nerode (Editor)
, H. Rischel (Editor)
, A. P. Ravn (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Hybrid Systems
Publisher	Springer Verlag
Publication date	1993
Pages	36-59
Publication status	Published - 1993
Event	Hybrid Systems - Duration: 1 Jan 1993 → …

Conference

Conference	Hybrid Systems
Period	01/01/1993 → …

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{0652811f5f2340c3931a94398882ee41,

title = "An Extended Duration Calculus for Hybrid Systems",

author = "Zhou Chaochen and Ravn, \{A. P.\} and Hansen, \{Michael Reichhardt\} and Grossman, \{R. L. and and and\} and A. Nerode and H. Rischel and Ravn, \{A. P.\}",

year = "1993",

language = "English",

pages = "36--59",

booktitle = "Hybrid Systems",

publisher = "Springer Verlag",

address = "Germany",

note = "Hybrid Systems ; Conference date: 01-01-1993",

}