Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models

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 sha...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on automatic control Ročník 63; číslo 6; s. 1835 - 1841
Hlavní autoři: Meyer, Pierre-Jean, Girard, Antoine, Witrant, Emmanuel
Médium: Journal Article
Jazyk:angličtina
Vydáno: IEEE 01.06.2018
Institute of Electrical and Electronics Engineers
Témata:
Aerospace electronics
Automatic
Automatic control
Computational modeling
Computer Science
Concrete
control design
Control systems
Electronic mail
Engineering Sciences
formal verification
Integrated circuits
Mathematics
nonlinear control systems
Optimization and Control
Safety
scalability
Systems and Control
temperature control
ISSN:0018-9286, 1558-2523, 1558-2523
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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 nonoverlapping subsystems.
ISSN:0018-9286
1558-2523
1558-2523
DOI:10.1109/TAC.2017.2753039