Lookup NU author(s): Dr Sadegh Soudjani
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.
Author(s): Mallik K, Schmuck A-K, Soudjani A, Majumdar R
Publication type: Article
Publication status: Published
Journal: IEEE Transactions on Automatic Control
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
Altmetrics provided by Altmetric