Controllability and invariance of monotone systems for robust ventilation automation in buildings. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (CDC, 2013)

Robust Controlled Invariance for UFAD Regulation. - Pierre-Jean Meyer; Hosein Nazarpour; Antoine Girard; Emmanuel Witrant (BuildSys@SenSys, 2013)

Experimental implementation of UFAD regulation based on Robust Controlled Invariance. - Pierre-Jean Meyer; Hosein Nazarpour; Antoine Girard; Emmanuel Witrant (ECC, 2014)

Safety control with performance guarantees of cooperative systems using compositional abstractions. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (ADHS, 2015)

Symbolic control of monotone systems application to ventilation regulation in buildings. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (HSCC, 2015)

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (Autom., 2016)

Compositional abstraction refinement for control synthesis under lasso-shaped specifications. - Pierre-Jean Meyer; Dimos V. Dimarogonas (ACC, 2017)

Compositional abstraction refinement for control synthesis. - Pierre-Jean Meyer; Dimos V. Dimarogonas (CoRR, 2017)

Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems. - Pierre-Jean Meyer; Dimos V. Dimarogonas (CoRR, 2017)

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)

Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. - Pierre-Jean Meyer; Samuel Coogan 001; Murat Arcak (IEEE Control. Syst. Lett., 2018)

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (IEEE Trans. Autom. Control., 2018)

TIRA: toolbox for interval reachability analysis. - Pierre-Jean Meyer; Alex Devonport; Murat Arcak (HSCC, 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)

Interval Reachability Analysis using Second-Order Sensitivity. - Pierre-Jean Meyer; Murat Arcak (CoRR, 2019)

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems. - Pierre-Jean Meyer; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2019)

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)

Closed-loop incremental stability for efficient symbolic control of non-linear systems. - Pouria Tajvar; Pierre-Jean Meyer; Jana Tumova (ADHS, 2021)

Interval Weight-Based Abstraction for Neural Network Verification. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (SAFECOMP Workshops, 2022)

Reachability Analysis of Neural Networks Using Mixed Monotonicity. - Pierre-Jean Meyer (IEEE Control. Syst. Lett., 2022)

Reachability Analysis of Neural Networks with Uncertain Parameters. - Pierre-Jean Meyer (CoRR, 2023)

Monitoring of Neural Network Classifiers Using Neuron Activation Paths. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (VECoS, 2024)

A Review of Abstraction Methods Toward Verifying Neural Networks. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (ACM Trans. Embed. Comput. Syst., 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., 2024)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. - Abdelrahman Sayed Sayed; Pierre-Jean Meyer; Mohamed Ghazel (CoRR, 2025)