8 citations · 13 across the 4 of their papers we have counts for
Showing math.OCShow all
3 papers · 1 filter
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★ 1 cited
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
Giordano Pola, Paulo Tabuada
Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growing interest…
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…