Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2022 | 2021 | 2020 | 2019
Anzahl der Publikationen: 18

2022

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

2021

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

2020

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

2019

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

Diese Liste wurde am Sat Dec 21 21:41:15 2024 CET erstellt.