8 citations · 13 across the 4 of their papers we have counts for
4 papers
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…
Observability and Detectability of Linear Switching Systems: A Structural Approach
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
We define observability and detectability for linear switching systems as the possibility of reconstructing and respectively of asymptotically reconstructing the hybrid state of th…
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…
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…