Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Sadegh Soudjani.

Newcastle AuthorsTitleYearFull text
Pushpak Jagtap
Dr Sadegh Soudjani
Formal Synthesis of Stochastic Systems via Control Barrier Certificates2021
Dr Sadegh Soudjani
A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs2020
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems2020
Isaac Matthews
Dr John Mace
Dr Sadegh Soudjani
Professor Aad van Moorsel
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach2020
Dr Sadegh Soudjani
Symbolic controller synthesis for B├╝chi specifications on stochastic systems 2020
Dr Sadegh Soudjani
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems2019
Dr Sadegh Soudjani
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems2019
Dr Sadegh Soudjani
Compositional Synthesis of Finite-State Abstractions2019
Dr Sadegh Soudjani
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control2019
Dr Sadegh Soudjani
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances2019
Dr Sadegh Soudjani
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach2018
Dr Sadegh Soudjani
Concentration of Measure for Chance-Constrained Optimization2018
Dr Sadegh Soudjani
Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study2018
Dr Sadegh Soudjani
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes2018
Dr Sadegh Soudjani
Temporal logic control of general Markov decision processes by approximate policy refinement2018
Pushpak Jagtap
Dr Sadegh Soudjani
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates2018
Dr Sadegh Soudjani
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement2017
Dr Sadegh Soudjani
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions2015
Dr Sadegh Soudjani
FAUST2: Formal Abstractions of Uncountable-STate STochastic Processes2015
Dr Sadegh Soudjani
Adaptive and Sequential Gridding Procedures for the Abstraction and the Verification of Stochastic Processes2013