Pierre-Jean Meyer

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 22

Top Topics

Shape Memory Alloy

Reachability Analysis

Top Venues

IEEE Control. Syst. Lett.

Publications

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
A Review of Abstraction Methods Toward Verifying Neural Networks. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Pierre-Jean Meyer
Reachability Analysis of Neural Networks with Uncertain Parameters. CoRR (2023)
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
Interval Weight-Based Abstraction for Neural Network Verification. SAFECOMP Workshops (2022)
Pierre-Jean Meyer
Reachability Analysis of Neural Networks Using Mixed Monotonicity. IEEE Control. Syst. Lett. 6 (2022)
Pierre-Jean Meyer
Reachability analysis of neural networks using mixed monotonicity. CoRR (2021)
Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova
Closed-loop incremental stability for efficient symbolic control of non-linear systems. ADHS (2021)
Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew K. Packard, Murat Arcak
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. IEEE Trans. Control. Syst. Technol. 28 (6) (2020)
Pierre-Jean Meyer, Murat Arcak
Interval Reachability Analysis using Second-Order Sensitivity. CoRR (2019)
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
TIRA: Toolbox for Interval Reachability Analysis. CoRR (2019)
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
TIRA: toolbox for interval reachability analysis. HSCC (2019)
Pierre-Jean Meyer, Dimos V. Dimarogonas
Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems. IEEE Trans. Autom. Control. 64 (11) (2019)
Pierre-Jean Meyer, He Yin, Astrid H. Brodtkorb, Murat Arcak, Asgeir J. Sørensen
Continuous and discrete abstractions for planning, applied to ship docking. CoRR (2019)
Pierre-Jean Meyer, Samuel Coogan, Murat Arcak
Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. IEEE Control. Syst. Lett. 2 (4) (2018)
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models. IEEE Trans. Autom. Control. 63 (6) (2018)
Pierre-Jean Meyer, Samuel Coogan, Murat Arcak
Sampled-data reachability analysis using sensitivity and mixed-monotonicity. CoRR (2018)
Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew K. Packard, Murat Arcak
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. CoRR (2018)
Octavio Narvaez-Aroche, Pierre-Jean Meyer, Murat Arcak, Andrew K. Packard
Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses. CoRR (2018)
Pierre-Jean Meyer, Dimos V. Dimarogonas
Compositional abstraction refinement for control synthesis. CoRR (2017)
Pierre-Jean Meyer, Dimos V. Dimarogonas
Compositional abstraction refinement for control synthesis under lasso-shaped specifications. ACC (2017)
Pierre-Jean Meyer, Dimos V. Dimarogonas
Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems. CoRR (2017)
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
Compositional abstraction and safety synthesis using overlapping symbolic models. CoRR (2017)
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. Autom. 70 (2016)
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
Symbolic control of monotone systems application to ventilation regulation in buildings. HSCC (2015)
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
Safety control with performance guarantees of cooperative systems using compositional abstractions. ADHS (2015)
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
Experimental implementation of UFAD regulation based on Robust Controlled Invariance. ECC (2014)
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
Controllability and invariance of monotone systems for robust ventilation automation in buildings. CDC (2013)
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
Robust Controlled Invariance for UFAD Regulation. BuildSys@SenSys (2013)