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 → …

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",

}

An Extended Duration Calculus for Hybrid Systems. / Chaochen, Zhou; Ravn, A. P.; Hansen, Michael Reichhardt; Grossman, R. L. and and and (Editor); Nerode, A. (Editor); Rischel, H. (Editor); Ravn, A. P. (Editor).

Hybrid Systems. Springer Verlag, 1993. p. 36-59.

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