129 citations · 349 across the 72 of their papers we have counts for
5 papers · 1 filter
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
This paper is concerned with a compositional approach for constructing finite Markov decision processes of interconnected discrete-time stochastic control systems. The proposed app…
Quantitative Implementation Strategies for Safety Controllers
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger +2
We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several con…
From dissipativity theory to compositional synthesis of symbolic models
Abdalla Swikir, Antoine Girard, Majid Zamani
In this work, we introduce a compositional framework for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compo…
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar +1
This paper is concerned with a compositional approach for constructing abstractions of interconnected discrete-time stochastic control systems. The abstraction framework is based o…
Symbolic Models for Retarded Jump-Diffusion Systems
Pushpak Jagtap, Majid Zamani
In this paper, we provide for the first time an automated, correct-by-construction, controller synthesis scheme for a class of infinite dimensional stochastic systems, namely, reta…