92 citations · 213 across the 11 of their papers we have counts for
11 papers
Reachability Analysis of Neural Networks with Uncertain Parameters
Pierre-Jean Meyer
The literature on reachability analysis methods for neural networks currently only focuses on uncertainties on the network's inputs. In this paper, we introduce two new approaches…
Reachability analysis of neural networks using mixed monotonicity
Pierre-Jean Meyer
This paper presents a new reachability analysis approach to compute interval over-approximations of the output set of feedforward neural networks with input uncertainty. We adapt t…
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…
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis
Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu +2
The sit-to-stand movement is a key feature for wide adoption of powered lower limb orthoses for patients with complete paraplegia. In this paper we study the control of the ascendi…
Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses
Octavio Narvaez-Aroche, Pierre-Jean Meyer, Murat Arcak +1
A sensitivity-based approach for computing over-approximations of reachable sets, in the presence of constant parameter uncertainties and a single initial state, is used to analyze…
Sampled-data reachability analysis using sensitivity and mixed-monotonicity
Pierre-Jean Meyer, Samuel Coogan, Murat Arcak
This paper over-approximates the reachable sets of a continuous-time uncertain system using the sensitivity of its trajectories with respect to initial conditions and uncertain par…
Compositional abstraction refinement for control synthesis
Pierre-Jean Meyer, Dimos V. Dimarogonas
This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate…
Hierarchical decomposition of LTL synthesis problem for nonlinear control systems
Pierre-Jean Meyer, Dimos V. Dimarogonas
This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hie…
Compositional abstraction and safety synthesis using overlapping symbolic models
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to def…