# Sadegh Esmaeil Zadeh Soudjani

According to our database

Collaborative distances:

^{1}, Sadegh Esmaeil Zadeh Soudjani authored at least 45 papers between 2011 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.

CoRR, 2018

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.

CoRR, 2018

Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems.

CoRR, 2018

Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.

Proceedings of the Automated Technology for Verification and Analysis, 2018

Concentration of Measure for Chance-Constrained Optimization.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Temporal logic control of general Markov decision processes by approximate policy refinement.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

SIAM J. Control and Optimization, 2017

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.

CoRR, 2017

Temporal logic control of general Markov decision processes by approximate policy refinement.

CoRR, 2017

Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.

CoRR, 2017

Compositional Construction of Finite State Abstractions for Stochastic Control Systems.

CoRR, 2017

Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.

CoRR, 2017

Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances.

CoRR, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

CoRR, 2017

Dynamic Bayesian networks for formal verification of structured stochastic processes.

Acta Inf., 2017

Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Compositional construction of finite state abstractions for stochastic control systems.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Compositional abstractions of interconnected discrete-time stochastic control systems.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.

Proceedings of the 2017 American Control Conference, 2017

2016

Formal Verification of Stochastic Max-Plus-Linear Systems.

IEEE Trans. Automat. Contr., 2016

Verification of general Markov decision processes by approximate similarity relations and policy refinement.

CoRR, 2016

Safety Verification of Continuous-Space Pure Jump Markov Processes.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Formal and Data Association Aware Robust Belief Space Planning.

Proceedings of the STAIRS 2016, 2016

Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems.

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.

IEEE Trans. Contr. Sys. Techn., 2015

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.

CoRR, 2015

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions.

Logical Methods in Computer Science, 2015

FAUST

^{ 2}: Formal Abstractions of Uncountable-STate STochastic Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes.

IEEE Trans. Automat. Contr., 2014

FAUST

^{2}: Formal Abstractions of Uncountable-STate STochastic processes.
CoRR, 2014

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Finite Abstractions of Stochastic Max-Plus-Linear Systems.

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes.

SIAM J. Applied Dynamical Systems, 2013

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.

CoRR, 2013

2012

Probabilistic invariance of mixed deterministic-stochastic dynamical systems.

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Higher-Order Approximations for Verification of Stochastic Hybrid Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011