AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Pierre-Jean Meyer

Pierre-Jean Meyer

Université Gustave-Eiffel - Marne-la-Vallée / France
Others
AD Scientific Index ID: 4349898
Gustave Eiffel University
person_outline Pierre-Jean Meyer's MOST POPULAR ARTICLES
1-) Compositional abstraction and safety synthesis using overlapping symbolic models IEEE Transactions on Automatic Control 63 (6), 1835-1841, 2017
2-) TIRA: toolbox for interval reachability analysis Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
3-) Safety control with performance guarantees of cooperative systems using compositional abstractions IFAC-PapersOnLine 48 (27), 317-322, 2015
4-) Hierarchical decomposition of LTL synthesis problem for nonlinear control systems IEEE Transactions on Automatic Control 64 (11), 4676-4683, 2019
5-) Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification Springer, 2021