Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach

  title={Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach},
  author={Adnane Saoud and Pushpak Jagtap and Majid Zamani and Antoine Girard},
  journal={IEEE Transactions on Control of Network Systems},
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 compositional framework for the construction of abstractions for interconnected systems and a bottom-up controller synthesis scheme. In particular, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions (possibly of different… 

Figures from this paper

Task-driven Modular Co-design of Vehicle Control Systems
This work focuses on vehicle control systems, and formalizes state-of-the-art control schemes as monotone feasibility relations, and shows how the embedding of control synthesis problems into the task-driven co-design problem of a robotic platform can be studied.
Verifying Contracts for Perturbed Control Systems using Linear Programming
This paper first considers the problem of verifying contracts defined by time-invariant inequalities for unperturbed systems, and uses kinduction to show that contract verification can be achieved by considering a collection of implications between inequalities, which are then recast as linear programs.
Symbolic Abstractions From Data: A PAC Learning Approach
A new data-driven approach is presented that does not require closed-form dynamics, instead relying only the ability to evaluate successors of each state under given inputs, and uses the Probably Approximately Correct (PAC) statistical framework.


Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
  • Majid Zamani, M. Arcak
  • Mathematics, Computer Science
    IEEE Transactions on Control of Network Systems
  • 2018
A compositional scheme for the construction of abstractions for networks of control systems by using the interconnection matrix and joint dissipativity-type properties of subsystems and their abstractions is proposed.
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models
A compositional approach to abstraction and safety synthesis for a general class of discrete-time nonlinear systems makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables.
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
The compositional construction of an abstraction on an interconnected system consisting of four linear subsystems is illustrated and the abstraction is used as a substitute to synthesize a controller to enforce a certain linear temporal logic specification.
Compositional abstraction of interconnected control systems under dynamic interconnection topology
  • A. Awan, Majid Zamani
  • Mathematics
    2017 IEEE 56th Annual Conference on Decision and Control (CDC)
  • 2017
In this work, we derive conditions under which compositional abstractions of networks of control systems, interconnected via some dynamic interconnection topology, can be constructed using the
Constructing Control System Abstractions from Modular Components
This paper introduces intermediate variables which break the interconnection and the abstraction procedure apart into smaller problems, and develops a theory of abstraction for discrete time nonlinear systems that are equipped with variables acting as interfaces for other systems.
Compositional Synthesis of Finite-State Abstractions
It is shown how networks of incrementally input-to-state stable, nonlinear, continuous-time control systems can be abstracted compositionally, so that all local abstractions are simultaneously disturbance bisimilar to their continuous counterparts.
Compositional Abstractions of Hybrid Control Systems
A composition operator is introduced that allows to build complex hybrid systems from simpler ones and show compatibility between abstractions and this compositional operator and also proposes constructions to obtain abstractions of hybrid control systems.
Abstracting Partially Feedback Linearizable Systems Compositionally
This letter investigates a compositional approach to the construction of abstractions by exploiting the cascading structure of partially feedback linearizable systems and shows how the linearized part and the zero dynamics can be independently abstracted and subsequently composed to obtain an abstraction of the original continuous system.
Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case
This paper introduces a notion of so-called finite-step simulation functions for discrete-time control systems, and shows that the existence of such a function guarantees that the mismatch between output trajectories of the concrete and abstract systems lies within an appropriate bound.