Sciweavers

Share
AUTOMATICA
2008

Approximately bisimilar symbolic models for nonlinear control systems

10 years 12 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in ng control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each "symbol" corresponds to an "aggregate" of states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provide a unified language to study problems of control in which software and hardware interact with the physical world. Furthermore the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes. In thi...
Giordano Pola, Antoine Girard, Paulo Tabuada
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where AUTOMATICA
Authors Giordano Pola, Antoine Girard, Paulo Tabuada
Comments (0)
books