A modal interface contract theory for guarded input/output automata with an application in traffic system design

Titel:: A modal interface contract theory for guarded input/output automata with an application in traffic system design
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Phan-Minh, T.; Guo, S.; Schürmann, B.; Althoff, M.; Murray, R. M.
Kongress- / Buchtitel:: Proc. of the American Control Conference
Jahr:: 2019
Seiten:: 1704-1711
Volltext / DOI:: doi:10.23919/ACC.2019.8814789
BibTeX

Vorkommen: