Compositional Abstraction and Safety Synthesis using Overlapping Symbolic Models
- 15 September 2017
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 63 (6), 1835-1841
- https://doi.org/10.1109/tac.2017.2753039
Abstract
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 symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlapping subsystems.Keywords
Other Versions
Funding Information
- laboratory of excellence DigiCosme (CODECSYS project)
This publication has 24 references indexed in Scilit:
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approachAutomatica, 2015
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite AbstractionsIEEE Transactions on Automatic Control, 2014
- Mode sequences as symbolic states in abstractions of incrementally stable switched systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Synthesis of Reactive(1) designsJournal of Computer and System Sciences, 2012
- Reachability Analysis of Polynomial Systems Using Linear Programming RelaxationsLecture Notes in Computer Science, 2012
- Integrated Design of Symbolic Controllers for Nonlinear SystemsIEEE Transactions on Automatic Control, 2011
- Reachability analysis of linear systems using support functionsNonlinear Analysis: Hybrid Systems, 2010
- Approximately bisimilar symbolic models for nonlinear control systemsAutomatica, 2008
- Monotone control systemsIEEE Transactions on Automatic Control, 2003
- You assume, we guarantee: Methodology and case studiesLecture Notes in Computer Science, 1998