129 citations · 368 across the 70 of their papers we have counts for
6 papers · 1 filter
Correct-by-Design Control of Parametric Stochastic Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We deve…
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
Abolfazl Lavaei, Mateo Perez, Milad Kazemi +4
We propose a compositional approach to synthesize policies for networks of continuous-space stochastic control systems with unknown dynamics using model-free reinforcement learning…
Safety Barrier Certificates for Stochastic Hybrid Systems
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
This work is concerned with the safety controller synthesis of stochastic hybrid systems, in which continuous evolutions are described by stochastic differential equations with bot…
Constructing MDP Abstractions Using Data with Formal Guarantees
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli +1
This paper is concerned with a data-driven technique for constructing finite Markov decision processes (MDPs) as finite abstractions of discrete-time stochastic control systems wit…
Data-Driven Abstraction-Based Control Synthesis
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati +2
This paper studies formal synthesis of controllers for continuous-space systems with unknown dynamics to satisfy requirements expressed as linear temporal logic formulas. Formal ab…
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems
Julian D'Costa, Toghrul Karimov, Rupak Majumdar +3
We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-rea…