|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 4
Zeitschriftenartikel
Noroozi, Navid; Salamati, Ali und Zamani, Majid
(2022):
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 2210-2215
Salamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
In: Ifac Papersonline, Bd. 54, Nr. 5: S. 7-12
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
In: Automatica, Bd. 131, 109781
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2020):
Data-Driven Verification under Signal Temporal Logic Constraints.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 76-81