92 citations · 150 across the 14 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.OC2010
Computation of Polytopic Invariants for Polynomial Dynamical Systems using Linear Programming
Mohamed Amin Ben Sassi, Antoine Girard
This paper deals with the computation of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that…
eess.SY2010
Controller Synthesis for Safety and Reachability via Approximate Bisimulation
Antoine Girard
In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstra…