129 citations · 368 across the 70 of their papers we have counts for
9 papers · 1 filter
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
In this work, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic hybrid systems enforcing complex log…
On Decidability of Time-bounded Reachability in CTMDPs
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
We consider the time-bounded reachability problem for continuous-time Markov decision processes. We show that the problem is decidable subject to Schanuel's conjecture. Our decisio…
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach
Isaac Matthews, John Mace, Sadegh Soudjani +1
Attack graphs are commonly used to analyse the security of medium-sized to large networks. Based on a scan of the network and likelihood information of vulnerabilities, attack grap…
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani +1
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic sys…
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati, Sadegh Soudjani, Majid Zamani
We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We expres…
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani
In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles in frequency regulation of power systems. This approach i…
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
In this paper, we propose a compositional framework for the construction of control barrier certificates for large-scale stochastic switched systems accepting multiple control barr…
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning
Milad Kazemi, Sadegh Soudjani
This paper studies satisfaction of temporal properties on unknown stochastic processes that have continuous state spaces. We show how reinforcement learning (RL) can be applied for…
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani +2
A novel reinforcement learning scheme to synthesize policies for continuous-space Markov decision processes (MDPs) is proposed. This scheme enables one to apply model-free, off-the…