Follow
Pierre-Jean Meyer
Pierre-Jean Meyer
COSYS-ESTAS, Université Gustave Eiffel, Lille
Verified email at univ-eiffel.fr - Homepage
Title
Cited by
Cited by
Year
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
922017
TIRA: toolbox for interval reachability analysis
PJ Meyer, A Devonport, M Arcak
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
722019
Safety control with performance guarantees of cooperative systems using compositional abstractions
PJ Meyer, A Girard, E Witrant
IFAC-PapersOnLine 48 (27), 317-322, 2015
462015
Hierarchical decomposition of LTL synthesis problem for nonlinear control systems
PJ Meyer, DV Dimarogonas
IEEE Transactions on Automatic Control 64 (11), 4676-4683, 2019
342019
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
PJ Meyer, A Girard, E Witrant
Automatica 70, 14-20, 2016
272016
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
232013
Sampled-data reachability analysis using sensitivity and mixed-monotonicity
PJ Meyer, S Coogan, M Arcak
IEEE control systems letters 2 (4), 761-766, 2018
202018
Compositional abstraction refinement for control synthesis
PJ Meyer, DV Dimarogonas
Nonlinear Analysis: Hybrid Systems 27, 437-451, 2018
202018
Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
PJ Meyer, A Devonport, M Arcak
Springer, 2021
172021
Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings
PJ Meyer
Université Grenoble Alpes, 2015
172015
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
162019
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
132014
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
102020
Reachability analysis of neural networks using mixed monotonicity
PJ Meyer
IEEE Control Systems Letters 6, 3068 - 3073, 2022
82022
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
82018
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
62022
Abstraction refinement and plan revision for control synthesis under high level specifications
PJ Meyer, DV Dimarogonas
IFAC-PapersOnLine 50 (1), 9254-9259, 2017
62017
Compositional abstraction refinement for control synthesis under lasso-shaped specifications
PJ Meyer, DV Dimarogonas
2017 American Control Conference (ACC), 523-528, 2017
62017
A review of abstraction methods towards verifying neural networks
F Boudardara, A Boussif, PJ Meyer, M Ghazel
ACM Transactions on Embedded Computing Systems, 2023
32023
Closed-loop incremental stability for efficient symbolic control of non-linear systems
P Tajvar, PJ Meyer, J Tumova
IFAC-PapersOnLine 54 (5), 121-126, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20