This article presents a symbolic control approach to the design of distributed safety
controllers for a class of continuous-time nonlinear systems. More precisely, we consider …

In this paper, we propose a compositional approach for the construction of finite abstractions
(aka finite Markov decision processes (MDPs)) for networks of discrete-time stochastic …

This article proposes an approach to construct a Lyapunov function for a linear large-scale
periodic system. In this case, in contrast to various variants of small-gain stability conditions …

In this article, we focus on mitigating the computational complexity in abstraction-based
controller synthesis for interconnected control systems. To do so, we provide a …

This thesis focus on the development of compositional and efficient controller synthesis
approaches for cyber-physical systems (CPS). Indeed, while model-based techniques for …

In this paper, we provide a compositional framework for the construction of finite abstractions
(aka finite Markov chains (MCs)) for networks of not necessarily stable discrete-time …

In this paper, we propose a compositional framework for the construction of finite
abstractions (aka finite Markov decision processes (MDPs)) for networks of not necessarily …

This paper introduces a compositional framework for constructing finite abstractions of
nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to …

In this paper, we present a compositional method-ology for constructing symbolic models of
nonlinear interconnected impulsive systems. Our approach relies on the concept of …

This article proposes an approach to construct a Lyapunov function for a linear coupled
impulsive system consisting of two time-invariant subsystems. In contrast to various variants …