Pierre-Jean Meyer - Publications, H-index & Citations

Pierre-Jean Meyer

universite gustave-eiffel

9H指数

39论文数

218被引数

收录论文 7

发表时间

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification 连接神经ODE与ResNet：安全性验证的正式误差界限

AI VERIFICATION, SAIV 2025

IF0

2026-01-01

PREAI

Sayed, Abdelrahman Sayed; Meyer, Pierre-Jean; Ghazel, Mohamed

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

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2024-12-01

OAAI

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

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

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

IF3.9

2020-11-01

OAAI

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

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2019-11-01

OAAI

Meyer, Pierre-Jean; Dimarogonas, Dimos V.

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2018-06-01

OAAI

Meyer, Pierre-Jean; Girard, Antoine; Witrant, Emmanuel

Compositional abstraction refinement for control synthesis

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2018-02-01

OAAI

Meyer, Pierre-Jean; Dimarogonas, Dimos V.

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

AUTOMATICA

IF5.9

2016-08-01

OAAI

Meyer, Pierre-Jean; Girard, Antoine; Witrant, Emmanuel

研究方向