Toggle Main Menu Toggle Search

Open Access padlockePrints

Compositional Synthesis of Finite-State Abstractions

Lookup NU author(s): Dr Sadegh SoudjaniORCiD



This is the authors' accepted manuscript of an article that has been published in its final definitive form by IEEE, 2019.

For re-use rights please refer to the publisher's terms and conditions.


Controller-synthesis techniques for continuous sys- tems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system model. Constructing this abstraction for the entire system is computationally expensive, and does not exploit natural decompositions of many systems into interacting components. We describe a methodology for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems. We introduce disturbance bisimulation, which strengthens the standard approximate alternating bisimulation relation used in control. It extends naturally to systems that are composed of weakly interconnected subcomponents, possibly connected in feedback, and models the coupling signals as disturbances. We show 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. Furthermore, our construction ensures that the final composed abstraction is disturbance bisimilar to the original system. Finally, we discuss how we get a compositional abstraction-based controller synthesis methodology for networks of such systems against local temporal specifications as a byproduct of our construction.

Publication metadata

Author(s): Mallik K, Schmuck A-K, Soudjani A, Majumdar R

Publication type: Article

Publication status: Published

Journal: IEEE Transactions on Automatic Control

Year: 2019

Volume: 64

Issue: 6

Pages: 2629-2636

Print publication date: 27/06/2019

Online publication date: 24/09/2018

Acceptance date: 24/08/2018

Date deposited: 04/11/2019

ISSN (print): 0018-9286

ISSN (electronic): 1558-2523

Publisher: IEEE


DOI: 10.1109/TAC.2018.2869740


Altmetrics provided by Altmetric