![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 18
Zeitschriftenartikel
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
Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro und Zamani, Majid
(2022):
Automated verification and synthesis of stochastic hybrid systems: A survey.
In: Automatica, Bd. 146, 110617
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
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; 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
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; 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
Jagtap, Pushpak; Soudjani, Sadegh und Zamani, Majid
(2021):
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
In: IEEE Transactions on Automatic Control, Bd. 66, Nr. 7: S. 3097-3110
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh und Zamani, Majid
(2020):
Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
Lavaei, Abolfazl; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh und Zamani, Majid
(2020):
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS 2020): S. 98-107
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
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
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
In: IEEE Transactions on Automatic Control, Bd. 65, Nr. 12: S. 5280-5295
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
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 36, 100880
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional abstraction-based synthesis for networks of stochastic switched systems.
In: Automatica, Bd. 114, 108827
Lavaei, Abolfaz; Soudjani, Sadegh und Zamani, Majid
(2019):
Compositional construction of infinite abstractions for networks of stochastic control systems.
In: Automatica, Bd. 107: S. 125-137
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2019):
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
In: 2019 18Th European Control Conference (Ecc): S. 2802-2807