Scholar
Pierre-Jean Meyer
Google Scholar ID: GfQi5IsAAAAJ
COSYS-ESTAS, Université Gustave Eiffel, Lille
Citations & Impact
Citations
410
H-index
12
i10-index
13
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Background
- Research interests include hybrid control, symbolic control, and formal methods
- Focus on abstraction-based synthesis: compositional abstraction, abstraction refinement, and specification revision
- Work on reachability analysis, monotone systems, and mixed monotonicity
- Dedicated to safety verification of neural networks and artificial intelligence
- Applications span thermal control in buildings, multi-agent systems, ship control, and autonomous vehicles
Co-authors