|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 8
Zeitschriftenartikel
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2022):
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
In: Automatica, Bd. 145, 110513
Nejati, Ameneh; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2022):
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 7: S. 223-228
Nejati, Ameneh; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.
In: Ifac Papersonline, Bd. 54, Nr. 5: S. 277-282
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2021):
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
In: European Journal of Control, Bd. 57: S. 82-94
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
In: IEEE Control Systems Letters, Bd. 4, Nr. 4: S. 845-850
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1856-1861
Nejati, Ameneh und Zamani, Majid
(2020):
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1962-1967
Konferenzbeitrag
Nejati, Ameneh; Zhong, Bingzhuo; Caccamo, Marco und Zamani, Majid
(2022):
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach.
2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), Milan, Italy, 03-06 May 2022.
In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
S. 11-12