|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 18
Zeitschriftenartikel
Anand, Mahathi; Lavaei, Abolfazl und Zamani, Majid
(2022):
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
In: IEEE Transactions on Automatic Control, Bd. 67, Nr. 10: S. 5638-5645
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
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid und Caccamo, Marco
(2022):
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.
In: Automatica, Bd. 147
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; 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
Zhong, Bingzhuo; Lavaei, Abolfazl; Cao, Hongpeng; Zamani, Majid und Caccamo, Marco
(2021):
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems.
In: Nonlinear Analysis-Hybrid Systems, Bd. 43, 101110
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
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
Anand, Mahathi; Lavaei, Abolfazl und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1862-1867
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
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, Abolfazl und Zamani, Majid
(2019):
Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems.
In: Proceedings of the 5Th International Workshop on Symbolic-Numeric Methods for Reasoning About Cps and Iot (Snr 2019): S. 3-5
Lavaei, Abolfazl und Zamani, Majid
(2019):
Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach.
In: Ifac Papersonline, Bd. 52, Nr. 3: S. 31-36
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
Konferenzbeitrag
Lavaei, Abolfazl; Esfahani, Peyman Mohajerin und Zamani, Majid
(2022):
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics.
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. 7296-7301
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid und Caccamo, Marco
(2022):
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022.
In: HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control,
New York: Association for Computing Machinery. S. 1-2