8 citations · 19 across the 6 of their papers we have counts for
6 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…
To sample or not to sample: Self-triggered control for nonlinear systems
Adolfo Anta, Paulo Tabuada
Feedback control laws have been traditionally implemented in a periodic fashion on digital hardware. Although periodicity simplifies the analysis of the mismatch between the contro…
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…
Approximate reduction of dynamical systems
Paulo Tabuada, Aaron D. Ames, Agung Julius +1
The reduction of dynamical systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically…
Controller synthesis for bisimulation equivalence
Paulo Tabuada
The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear con…
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…