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, 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
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
PFateh 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)
