Sadegh Esmaeil Zadeh Soudjani
According to our database^{1},
Sadegh Esmaeil Zadeh Soudjani
authored at least 38 papers
between 2011 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2019
Compositional Synthesis of FiniteState Abstractions.
IEEE Trans. Automat. Contr., 2019
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances.
IEEE Trans. Automat. Contr., 2019
Compositional construction of infinite abstractions for networks of stochastic control systems.
Automatica, 2019
ARCHCOMP19 Category Report: Stochastic Modelling.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
Proceedings of the Numerical Software Verification  12th International Workshop, 2019
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 ChanceConstrained Optimization.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Compositional Synthesis of Finite Abstractions for ContinuousSpace Stochastic Control Systems: A SmallGain 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
ARCHCOMP18 Category Report: Stochastic Modelling.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
SIAM J. Control and Optimization, 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 discretetime stochastic control systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Shrinking Horizon Model Predictive Control with chanceconstrained signal temporal logic specifications.
Proceedings of the 2017 American Control Conference, 2017
2016
Formal Verification of Stochastic MaxPlusLinear Systems.
IEEE Trans. Automat. Contr., 2016
Safety Verification of ContinuousSpace 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
Chanceconstrained model predictive controller synthesis for stochastic maxplus 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
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions.
Logical Methods in Computer Science, 2015
FAUST ^{ 2} : Formal Abstractions of UncountableSTate 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 ReachAvoid Computation for Partially Degenerate Stochastic Processes.
IEEE Trans. Automat. Contr., 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 MaxPlusLinear 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 of thermostatically controlled loads by formal abstractions.
Proceedings of the European Control Conference, 2013
2012
Probabilistic invariance of mixed deterministicstochastic dynamical systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
HigherOrder 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