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!

Buďte první, kdo okomentuje tento záznam!