Pierre-Jean Meyer

32 papers C 2Journal 21Unranked 9

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