Pierre-Jean Meyer, MMRANN: Mixed-Monotonicity Reachability Analysis of Neural Networks. Presented in IEEE Control Systems Letters, 2022. [Toolbox][Paper][BibTeX]
Pierre-Jean Meyer, Alex Devonport and Murat Arcak, Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification. Springer Briefs in Control, Automation and Robotics, 2021. [Publication link][Partial preprint][BibTeX][Seminar video][Seminar slides]
Journal publications
Pierre-Jean Meyer, Challenges of Formal Verification for Safe Railway Artificial Intelligence. Submitted to IEEE Open Journal of Intelligent Transportation Systems.
Antoine Girard, Pierre-Jean Meyer and Adnane Saoud, Approches symboliques pour le contrôle des systèmes non linéaires. Techniques de l'Ingénieur, 2024. [Publication link][BibTeX]
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel, INNAbstract: an INN-based abstraction method for large-scale neural network verification. IEEE Transactions on Neural Networks and Learning Systems, 2024. [Paper][BibTeX]
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel, A review of abstraction methods towards verifying neural networks. ACM Transactions on Embedded Computing Systems, 2024. [Paper][BibTeX]
Pierre-Jean Meyer, Reachability analysis of neural networks using mixed monotonicity. IEEE Control Systems Letters, 2022. Work also presented at the 61st IEEE Conference on Decision and Control, Cancun, Mexico, 2022. [Paper][Slides][BibTeX][Toolbox]
Octavio Narvaez Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew Packard and Murat Arcak, Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. IEEE Transactions on Control Systems Technology, 2019. [Paper][BibTeX]
Pierre-Jean Meyer and Dimos V. Dimarogonas, Hierarchical decomposition of LTL synthesis problem for nonlinear control systems. IEEE Transactions on Automatic Control, 2019. [Paper][BibTeX]
Pierre-Jean Meyer, Samuel Coogan and Murat Arcak, Sampled-data reachability analysis using sensitivity and mixed-monotonicity. IEEE Control Systems Letters, 2018. Work also presented at the 57th IEEE Conference on Decision and Control, Miami, USA, 2018. [Paper][Slides][BibTeX]
Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models. IEEE Transactions on Automatic Control, 2018. [Paper][BibTeX]
Pierre-Jean Meyer and Dimos V. Dimarogonas, Compositional abstraction refinement for control synthesis. Nonlinear Analysis: Hybrid Systems, 2018. [Paper][BibTeX]
Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Robust controlled invariance for monotone systems: application to ventilation regulation in buildings. Automatica, 2016. [Paper][BibTeX]
International conferences
Abdelrahman Ibrahim, Pierre-Jean Meyer and Mohamed Ghazel, Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency. Workshop on Symmetry and Geometry in Neural Representations (NeurReps), San Diego, USA, 2025. [Paper][BibTeX][Video]
Abdelrahman Ibrahim, Pierre-Jean Meyer and Mohamed Ghazel, Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. 8th International Symposium on AI Verification, Zagreb, Croatia, 2025. [Paper][BibTeX]
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel, Monitoring of Neural Network Classifiers Using Neuron Activation Paths. 17th International Conference on Verification and Evaluation of Computer and Communication Systems, Djerba, Tunisia, 2024. [Paper][BibTeX]
Mohammed Chelouati, Pierre-Jean Meyer and El Miloudi El Koursi, Defining Safety for Autonomous Vehicles: Challenges and Solutions in High-Level Autonomous Vehicle Standards. 9th International Metrology Conference, Marrakech, Morroco, 2024. [BibTeX]
Pierre-Jean Meyer, Reachability Analysis of Neural Networks with Uncertain Parameters. 22nd IFAC World Congress, Yokohama, Japan, 2023. [Paper][BibTeX][Slides][Video]
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel, Interval weight-based abstraction for neural network verification. 5th International Workshop on Artificial Intelligence Safety Engineering, Munich, Germany, 2022. [Paper][BibTeX]
Pouria Tajvar, Pierre-Jean Meyer and Jana Tumova, Closed-loop incremental stability for efficient symbolic control of non-linear systems. 7th IFAC Conference on Analysis and Design of Hybrid Systems, Brussel, Belgium, 2021. [Paper][BibTeX]
Pierre-Jean Meyer, He Yin, Astrid H. Brodtkorb, Murat Arcak and Asgeir J. Sørensen, Continuous and discrete abstractions for planning, applied to ship docking. 21st IFAC World Congress (Virtual), Berlin, Germany, 2020. [Paper][BibTeX][Slides][Video]
Pierre-Jean Meyer and Murat Arcak, Interval Reachability Analysis using Second-Order Sensitivity. 21st IFAC World Congress (Virtual), Berlin, Germany, 2020. [Paper][BibTeX][Slides][Video]
Pierre-Jean Meyer, Alex Devonport and Murat Arcak, TIRA: Toolbox for Interval Reachability Analysis. 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019. [Paper][BibTeX][Slides][Toolbox]
Octavio Narvaez Aroche, Pierre-Jean Meyer, Murat Arcak and Andrew Packard, Reachability Analysis for Robustness Evaluation of the Sit-to-Stand Movement for Powered Lower Limb Orthoses. ASME Dynamic Systems and Control Conference, Atlanta, USA, 2018. [Paper][BibTeX]
Pierre-Jean Meyer and Dimos V. Dimarogonas, Abstraction refinement and plan revision for control synthesis under high level specifications. 20th IFAC World Congress, Toulouse, France, 2017. [Paper][BibTeX][Poster][Slides]
Paul Rousse, Pierre-Jean Meyer and Dimos V. Dimarogonas, Using progress sets on non-deterministic transition systems for multiple UAV motion planning. 20th IFAC World Congress, Toulouse, France, 2017. [Paper][BibTeX][Slides][Video]
Pierre-Jean Meyer and Dimos V. Dimarogonas, Compositional abstraction refinement for control synthesis under lasso-shaped specifications. American Control Conference, Seattle, USA, 2017. [Paper][BibTeX][Slides]
Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions. 5th IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, USA, 2015. [Paper][BibTeX][Slides]
Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings. 18th ACM International Conference on Hybrid Systems: Computation and Control, Seattle, USA, 2015. [Paper][BibTeX][Poster]
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard and Emmanuel Witrant, Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance. 13th European Control Conference, Strasbourg, France, 2014. [Paper][BibTeX][Slides]
Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Controllability and invariance of monotone systems for robust ventilation automation in buildings. 52nd IEEE Conference on Decision and Control, Florence, Italy, 2013. [Paper][BibTeX][Slides]
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard and Emmanuel Witrant, Poster Abstract: Robust Controlled Invariance for UFAD Regulation. 5th ACM Workshop on Embedded Systems For Energy-Efficient Buildings (BuildSys), Rome, Italy, 2013. [Paper][BibTeX][Poster]
National conferences
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel and Pierre-Jean Meyer, Deep Neural Networks Abstraction using An Interval Weights Based Approach. Confiance.ai Days 2022, Saclay, France, 2022. [Poster abstract]
Pouria Tajvar, Pierre-Jean Meyer and Jana Tumova, Abstraction Refinement for Control Synthesis: A Discrete-Time Hybridization Approach. Swedish Control Conference (Reglermöte), Stockholm, Sweden, 2018. [Poster]
Theses
Pierre-Jean Meyer, Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. PhD thesis. LJK and GIPSA-lab, University Grenoble-Alpes, France, 2015. [Thesis][Slides][BibTeX]
Pierre-Jean Meyer, Anytime diagnosis of discrete event systems. Master thesis. LAAS-CNRS, Toulouse, France, 2011. [Thesis][Slides] (in French)
