![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | Date
Jump to: Journal article | Conference or Workshop Item
Number of items: 2.
Journal article
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): pp. 208-217
Conference or Workshop Item
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. pp. 5419-5424