|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 2
Zeitschriftenartikel
Al Khatib, Mohammad und Zamani, Majid
(2019):
Verification and synthesis of interconnected embedded control systems under timing contracts.
In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): S. 208-217
Konferenzbeitrag
Al Khatib, Mohammad und Zamani, Majid
(2020):
Controller synthesis for interconnected systems using parametric assume-guarantee contracts.
2020 American Control Conference (ACC), Denver, CO, USA, 1-3 July 2020.
2020 American Control Conference (ACC).
IEEE. S. 5419-5424