8 citations · 8 across the 2 of their papers we have counts for
2 papers
math.OC2008
Approximately bisimilar symbolic models for incrementally stable switched systems
Antoine Girard, Giordano Pola, Paulo Tabuada
Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable…
math.OC2007★ 8 cited
Approximately bisimilar symbolic models for nonlinear control systems
Giordano Pola, Antoine Girard, Paulo Tabuada
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…