| Compositional abstraction and safety synthesis using overlapping symbolic models PJ Meyer, A Girard, E Witrant IEEE Transactions on Automatic Control 63 (6), 1835-1841, 2017 | 101 | 2017 |
| TIRA: toolbox for interval reachability analysis PJ Meyer, A Devonport, M Arcak Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 76 | 2019 |
| Safety control with performance guarantees of cooperative systems using compositional abstractions PJ Meyer, A Girard, E Witrant IFAC-PapersOnLine 48 (27), 317-322, 2015 | 48 | 2015 |
| Hierarchical decomposition of LTL synthesis problem for nonlinear control systems PJ Meyer, DV Dimarogonas IEEE Transactions on Automatic Control 64 (11), 4676-4683, 2019 | 37 | 2019 |
| Robust controlled invariance for monotone systems: application to ventilation regulation in buildings PJ Meyer, A Girard, E Witrant Automatica 70, 14-20, 2016 | 32 | 2016 |
| Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification PJ Meyer, A Devonport, M Arcak Springer, 2021 | 25 | 2021 |
| Controllability and invariance of monotone systems for robust ventilation automation in buildings PJ Meyer, A Girard, E Witrant 52nd IEEE Conference on Decision and Control, 1289-1294, 2013 | 23 | 2013 |
| Sampled-data reachability analysis using sensitivity and mixed-monotonicity PJ Meyer, S Coogan, M Arcak IEEE control systems letters 2 (4), 761-766, 2018 | 22 | 2018 |
| Compositional abstraction refinement for control synthesis PJ Meyer, DV Dimarogonas Nonlinear Analysis: Hybrid Systems 27, 437-451, 2018 | 21 | 2018 |
| Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings PJ Meyer Université Grenoble Alpes, 2015 | 19 | 2015 |
| Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis ON Aroche, PJ Meyer, S Tu, A Packard, M Arcak IEEE Transactions on Control Systems Technology 28 (6), 2390-2403, 2019 | 16 | 2019 |
| Experimental implementation of UFAD regulation based on robust controlled invariance PJ Meyer, H Nazarpour, A Girard, E Witrant 2014 European Control Conference (ECC), 1468-1473, 2014 | 13 | 2014 |
| Reachability analysis of neural networks using mixed monotonicity PJ Meyer IEEE Control Systems Letters 6, 3068 - 3073, 2022 | 12 | 2022 |
| Continuous and discrete abstractions for planning, applied to ship docking PJ Meyer, H Yin, AH Brodtkorb, M Arcak, AJ Sørensen IFAC-PapersOnLine 53 (2), 1831-1836, 2020 | 12 | 2020 |
| A Review of Abstraction Methods Toward Verifying Neural Networks F Boudardara, A Boussif, PJ Meyer, M Ghazel ACM Transactions on Embedded Computing Systems 23 (4), 1-19, 2024 | 9 | 2024 |
| Interval Weight-Based Abstraction for Neural Network Verification F Boudardara, A Boussif, PJ Meyer, M Ghazel International Conference on Computer Safety, Reliability, and Security, 330-342, 2022 | 8 | 2022 |
| Reachability analysis for robustness evaluation of the Sit-to-Stand movement for powered lower limb orthoses O Narvaez-Aroche, A Packard, PJ Meyer, M Arcak Dynamic Systems and Control Conference 51890, V001T07A006, 2018 | 8 | 2018 |
| Abstraction refinement and plan revision for control synthesis under high level specifications PJ Meyer, DV Dimarogonas IFAC-PapersOnLine 50 (1), 9254-9259, 2017 | 6 | 2017 |
| Compositional abstraction refinement for control synthesis under lasso-shaped specifications PJ Meyer, DV Dimarogonas 2017 American Control Conference (ACC), 523-528, 2017 | 6 | 2017 |
| INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification F Boudardara, A Boussif, PJ Meyer, M Ghazel IEEE Transactions on Neural Networks and Learning Systems, 2023 | 3 | 2023 |
