Edit Profile (opens in new tab) Soudjani, Sadegh Compute Distance To: Compute Author ID: soudjani.sadegh Published as: Soudjani, Sadegh Documents Indexed: 18 Publications since 2016 Co-Authors: 15 Co-Authors with 18 Joint Publications 242 Co-Co-Authors all top 5 Co-Authors 0 single-authored 13 Zamani, Majid 9 Lavaei, Abolfazl 3 Majumdar, Rupak 2 Abate, Alessandro 2 Khaled, Mahmoud 2 Mallik, Kaushik 2 Nejati, Ameneh 1 Farahani, Samira S. 1 Haesaert, Sofie 1 Indelman, Vadim 1 Jagtap, Pushpak 1 Pathak, Shashank 1 Prabhu, Vinayak S. 1 Salamati, Ali 1 Schmuck, Anne-Kathrin Serials 5 Automatica 5 IEEE Transactions on Automatic Control 2 Nonlinear Analysis. Hybrid Systems 1 European Journal of Control all top 5 Fields 16 Systems theory; control (93-XX) 7 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 4 Computer science (68-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 65 times in 28 Documents Cited by ▼ Year ▼ Compositional construction of infinite abstractions for networks of stochastic control systems. Zbl 1429.93139Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 11 2019 Compositional synthesis of finite-state abstractions. Zbl 1482.93263Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak 11 2019 From dissipativity theory to compositional construction of finite Markov decision processes. Zbl 1422.90067Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 6 2018 Compositional abstraction-based synthesis for networks of stochastic switched systems. Zbl 1441.93322Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 5 2020 Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances. Zbl 1482.93346Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh 4 2019 Compositional (in)finite abstractions for large-scale interconnected stochastic systems. Zbl 07320099Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 4 2020 AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. Zbl 1481.93037Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid 4 2020 Robust dynamic programming for temporal logic control of stochastic systems. Zbl 1467.93292Haesaert, Sofie; Soudjani, Sadegh 3 2021 Formal synthesis of stochastic systems via control barrier certificates. Zbl 1467.93293Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid 3 2021 Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. Zbl 1478.93665Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 3 2021 Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach. Zbl 1441.93293Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 3 2020 Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Zbl 1455.93190Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid 3 2021 Data-driven verification of stochastic linear systems with signal temporal logic constraints. Zbl 1478.93672Salamati, Ali; Soudjani, Sadegh; Zamani, Majid 2 2021 Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh 2 2020 Automated verification and synthesis of stochastic hybrid systems: a survey. Zbl 1504.93389Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid 1 2022 Automated verification and synthesis of stochastic hybrid systems: a survey. Zbl 1504.93389Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid 1 2022 Robust dynamic programming for temporal logic control of stochastic systems. Zbl 1467.93292Haesaert, Sofie; Soudjani, Sadegh 3 2021 Formal synthesis of stochastic systems via control barrier certificates. Zbl 1467.93293Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid 3 2021 Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. Zbl 1478.93665Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 3 2021 Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Zbl 1455.93190Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid 3 2021 Data-driven verification of stochastic linear systems with signal temporal logic constraints. Zbl 1478.93672Salamati, Ali; Soudjani, Sadegh; Zamani, Majid 2 2021 Compositional abstraction-based synthesis for networks of stochastic switched systems. Zbl 1441.93322Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 5 2020 Compositional (in)finite abstractions for large-scale interconnected stochastic systems. Zbl 07320099Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 4 2020 AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. Zbl 1481.93037Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid 4 2020 Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach. Zbl 1441.93293Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 3 2020 Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh 2 2020 Compositional construction of infinite abstractions for networks of stochastic control systems. Zbl 1429.93139Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 11 2019 Compositional synthesis of finite-state abstractions. Zbl 1482.93263Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak 11 2019 Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances. Zbl 1482.93346Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh 4 2019 From dissipativity theory to compositional construction of finite Markov decision processes. Zbl 1422.90067Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid 6 2018 all cited Publications top 5 cited Publications all top 5 Cited by 45 Authors 16 Zamani, Majid 8 Soudjani, Sadegh 7 Lavaei, Abolfazl 3 Liu, Siyuan 3 Swikir, Abdalla 2 Abate, Alessandro 2 Caccamo, Marco 2 Girard, Antoine 2 Nejati, Ameneh 2 Noroozi, Navid 2 Zhong, Bingzhuo 1 Cao, Hongpeng 1 Chapman, Margaret P. 1 Chen, Mingshuai 1 Cleaveland, Matthew 1 Dimarogonas, Dimos V. 1 Fribourg, Laurent 1 Gößler, Gregor 1 Gu, Xudong 1 Haesaert, Sofie 1 Hsu, Kyle 1 Hu, Rongchun 1 Ivanov, Radoslav 1 Jagtap, Pushpak 1 Katoen, Joost-Pieter 1 Lindemann, Lars 1 Liu, Jun 1 Majumdar, Rupak 1 Mallik, Kaushik 1 Meng, Yiming 1 Pappas, George J. 1 Peruffo, Andrea 1 Salamati, Ali 1 Saoud, Adnane 1 Schmuck, Anne-Kathrin 1 Sharifi, Maryam 1 Sun, Ji Tao 1 van Huijgevoort, Birgit C. 1 Wang, Qiuye 1 Wang, Yuheng 1 Xue, Bai 1 Yao, Yuhua 1 Yu, Pian 1 Zhan, Naijun 1 Zhang, Dongxu all top 5 Cited in 8 Serials 12 Automatica 6 Nonlinear Analysis. Hybrid Systems 2 Artificial Intelligence 1 Acta Informatica 1 Chaos, Solitons and Fractals 1 Systems & Control Letters 1 Information and Computation 1 European Journal of Control all top 5 Cited in 8 Fields 22 Systems theory; control (93-XX) 7 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year