92 citations · 213 across the 11 of their papers we have counts for
3 papers · 1 filter
Continuous and discrete abstractions for planning, applied to ship docking
Pierre-Jean Meyer, He Yin, Astrid H. Brodtkorb +2
We propose a hierarchical control framework for the synthesis of correct-by-construction controllers for nonlinear control-affine systems with respect to reach-avoid-stay specifica…
Interval Reachability Analysis using Second-Order Sensitivity
Pierre-Jean Meyer, Murat Arcak
We propose a new approach to compute an interval over-approximation of the finite time reachable set for a large class of nonlinear systems. This approach relies on the notions of…
TIRA: Toolbox for Interval Reachability Analysis
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-tim…