Sadegh Esmaeil Zadeh Soudjani

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 26

Top Topics

Markov Decision Processes

Predictive Control

Stochastic Processes

Top Venues

Publications

Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. CoRR (2018)
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. HSCC (2017)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CoRR (2017)
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM J. Control. Optim. 55 (4) (2017)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CONCUR (2017)
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. CoRR (2017)
Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications. ACC (2017)
Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. CoRR (2017)
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. QEST (2017)
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. CoRR (2017)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. CoRR (2017)
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR (2017)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR (2017)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 54 (2) (2017)
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
Compositional construction of finite state abstractions for stochastic control systems. CDC (2017)
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC (2017)
Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate
Formal and Data Association Aware Robust Belief Space Planning. STAIRS (2016)
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS (2016)
Vahab Rostampour, Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Bart De Schutter, Tamás Keviczky
Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems. SMC (2016)
Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR (2016)
Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate
Formal Verification of Stochastic Max-Plus-Linear Systems. IEEE Trans. Autom. Control. 61 (10) (2016)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CoRR (2015)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. IEEE Trans. Control. Syst. Technol. 23 (3) (2015)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions. Log. Methods Comput. Sci. 11 (3) (2015)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CONCUR (2015)
Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate
: Formal Abstractions of Uncountable-STate STochastic Processes. TACAS (2015)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes. IEEE Trans. Autom. Control. 59 (2) (2014)
Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate
: Formal Abstractions of Uncountable-STate STochastic processes. CoRR (2014)
Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST (2014)
Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Finite Abstractions of Stochastic Max-Plus-Linear Systems. QEST (2014)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. TACAS (2014)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Aggregation of thermostatically controlled loads by formal abstractions. ECC (2013)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. CoRR (2013)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes. SIAM J. Appl. Dyn. Syst. 12 (2) (2013)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Higher-Order Approximations for Verification of Stochastic Hybrid Systems. ATVA (2012)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Probabilistic invariance of mixed deterministic-stochastic dynamical systems. HSCC (2012)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. QEST (2011)