|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 2
Zeitschriftenartikel
Saoud, Adnane; Jagtap, Pushpak; Zamani, Majid und Girard, Antoine
(2021):
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
In: IEEE Transactions on Control of Network Systems, Bd. 8, Nr. 2: S. 702-712
Konferenzbeitrag
Liu, Siyuan; Saoud, Adnane; Jagtap, Pushpak; Dimarogonas, Dimos V. und Zamani, Majid
(2022):
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06-09 December 2022.
In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Piscataway, NJ, USA: IEEE. S. 2184-2189