129 citations · 368 across the 70 of their papers we have counts for
4 papers · 1 filter
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
Sofie Haesaert, Sadegh Soudjani
Discrete-time stochastic systems are an essential modelling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For…
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
This paper is concerned with a compositional approach for constructing both infinite (reduced-order models) and finite abstractions (a.k.a. finite Markov decision processes (MDPs))…
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
This paper presents a methodology for temporal logic verification of discrete-time stochastic systems. Our goal is to find a lower bound on the probability that a complex temporal…
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses…