Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

In this paper, we develop a compositional approach to abstraction and safety synthesis for a
general class of discrete-time nonlinear systems. Our approach makes it possible to define a …

In this note, we propose symbolic models for networks of discrete-time nonlinear control
systems. If each subsystem composing the network admits an incremental input-to-state …

In this paper, we propose a compositional scheme for the construction of abstractions for
networks of control systems by using the interconnection matrix and joint dissipativity-type …

Controller-synthesis techniques for continuous systems with respect to temporal logic
specifications typically use a finite-state symbolic abstraction of the system model …

In this letter, we propose a data-driven approach for the construction of finite abstractions
(aka, symbolic models) for discrete-time deterministic control systems with unknown …

We consider a compositional construction of approximate abstractions of interconnected
control systems. In our framework, an abstraction acts as a substitute in the controller design …

In this paper, we introduce a compositional scheme for the construction of finite abstractions
(aka symbolic models) of interconnected discrete-time control systems. The compositional …

In this paper we propose a compositional framework for the construction of approximations
of the interconnection of a class of stochastic hybrid systems. As special cases, this class of …

This paper tackles the problem of constructing finite abstractions for formal controller
synthesis with high dimensional systems. We develop a theory of abstraction for discrete …