Autor der Publikation

From Hybrid Automata to DAE-Based Modeling.

, , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Correctness of Automated Distribution of Sequential Programs., , , und . PARLE, Volume 694 von Lecture Notes in Computer Science, Seite 517-528. Springer, (1993)Modal interfaces: unifying interface automata and modal specifications., , , , , und . EMSOFT, Seite 87-96. ACM, (2009)HMSCs as Partial Specifications ... with PNs as Completions., , , und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 125-152. Springer, (2000)Mind the gap: Expanding communication options in decentralized discrete-event control., und . Autom., 47 (11): 2364-2372 (2011)Modular System Development with Pullbacks., , , , und . ICATPN, Volume 2679 von Lecture Notes in Computer Science, Seite 140-160. Springer, (2003)From Hybrid Automata to DAE-Based Modeling., , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2022)Mind the gap: Expanding communication options in decentralized discrete-event control., und . CDC, Seite 5924-5929. IEEE, (2007)Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers., und . ECC, Seite 2602-2607. IEEE, (2009)Tag machines., , , und . EMSOFT, Seite 255-263. ACM, (2005)Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits., , , und . FMGALS@MEMOCODE, Volume 146 von Electronic Notes in Theoretical Computer Science, Seite 81-103. Elsevier, (2005)