Sadegh Esmaeil Zadeh Soudjani

37 papers A 3B 4C 1Journal 19Unranked 10

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