129 citations · 349 across the 72 of their papers we have counts for
7 papers · 1 filter
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
In this paper, we provide a compositional approach for constructing finite abstractions (a.k.a. finite Markov decision processes (MDPs)) of interconnected discrete-time stochastic…
A Lyapunov-based small-gain theorem for infinite networks
Christoph Kawan, Andrii Mironchenko, Abdalla Swikir +2
This paper presents a small-gain theorem for networks composed of a countably infinite number of finite-dimensional subsystems. Assuming that each subsystem is exponentially input-…
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
We propose a compositional approach for constructing abstractions of general Markov decision processes using approximate probabilistic relations. The abstraction framework is based…
Compositional Synthesis of Symbolic Models for Networks of Switched Systems
Abdalla Swikir, Majid Zamani
In this paper, we provide a compositional methodology for constructing symbolic models for networks of discrete-time switched systems. We first define a notion of so-called augment…
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex…
On Approximate Opacity of Cyber-Physical Systems
Xiang Yin, Majid Zamani
Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the p…
Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
In this paper, we propose a compositional approach for the construction of finite abstractions (a.k.a. finite Markov decision processes (MDPs)) for networks of discrete-time stocha…