Pierre-Jean Meyer

According to our database, Pierre-Jean Meyer authored at least 23 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification.

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel

IEEE Trans. Neural Networks Learn. Syst., December, 2024

A Review of Abstraction Methods Toward Verifying Neural Networks.

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel

ACM Trans. Embed. Comput. Syst., July, 2024

2023

Reachability Analysis of Neural Networks with Uncertain Parameters.

Pierre-Jean Meyer

CoRR, 2023

2022

Reachability Analysis of Neural Networks Using Mixed Monotonicity.

Pierre-Jean Meyer

IEEE Control. Syst. Lett., 2022

Interval Weight-Based Abstraction for Neural Network Verification.

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2021

Closed-loop incremental stability for efficient symbolic control of non-linear systems.

Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis.

Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew K. Packard, Murat Arcak

IEEE Trans. Control. Syst. Technol., 2020

2019

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems.

Pierre-Jean Meyer, Dimos V. Dimarogonas

IEEE Trans. Autom. Control., 2019

Interval Reachability Analysis using Second-Order Sensitivity.

Pierre-Jean Meyer, Murat Arcak

CoRR, 2019

Continuous and discrete abstractions for planning, applied to ship docking.

Pierre-Jean Meyer, He Yin, Astrid H. Brodtkorb, Murat Arcak, Asgeir J. Sørensen

CoRR, 2019

TIRA: toolbox for interval reachability analysis.

Pierre-Jean Meyer, Alex Devonport, Murat Arcak

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

IEEE Trans. Autom. Control., 2018

Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity.

Pierre-Jean Meyer, Samuel Coogan, Murat Arcak

IEEE Control. Syst. Lett., 2018

Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses.

Octavio Narvaez-Aroche, Pierre-Jean Meyer, Murat Arcak, Andrew K. Packard

CoRR, 2018

2017

Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems.

Pierre-Jean Meyer, Dimos V. Dimarogonas

CoRR, 2017

Compositional abstraction refinement for control synthesis.

Pierre-Jean Meyer, Dimos V. Dimarogonas

CoRR, 2017

Compositional abstraction refinement for control synthesis under lasso-shaped specifications.

Pierre-Jean Meyer, Dimos V. Dimarogonas

Proceedings of the 2017 American Control Conference, 2017

2016

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings.

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

Autom., 2016

2015

Symbolic control of monotone systems application to ventilation regulation in buildings.

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Safety control with performance guarantees of cooperative systems using compositional abstractions.

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Experimental implementation of UFAD regulation based on Robust Controlled Invariance.

Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant

Proceedings of the 13th European Control Conference, 2014

2013

Robust Controlled Invariance for UFAD Regulation.

Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant

Proceedings of the BuildSys 2013, 2013

Controllability and invariance of monotone systems for robust ventilation automation in buildings.

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013