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
632017
Safety control with performance guarantees of cooperative systems using compositional abstractions
PJ Meyer, A Girard, E Witrant
IFAC-PapersOnLine 48 (27), 317-322, 2015
422015
TIRA: toolbox for interval reachability analysis
PJ Meyer, A Devonport, M Arcak
Proceedings of the 22nd ACM International Conference on Hybrid Systemsá…, 2019
342019
Hierarchical decomposition of LTL synthesis problem for nonlinear control systems
PJ Meyer, DV Dimarogonas
IEEE Transactions on Automatic Control 64 (11), 4676-4683, 2019
232019
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
PJ Meyer, A Girard, E Witrant
Automatica 70, 14-20, 2016
202016
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
202013
Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings
PJ Meyer
UniversitÚ Grenoble Alpes, 2015
172015
Compositional abstraction refinement for control synthesis
PJ Meyer, DV Dimarogonas
Nonlinear Analysis: Hybrid Systems 27, 437-451, 2018
162018
Sampled-data reachability analysis using sensitivity and mixed-monotonicity
PJ Meyer, S Coogan, M Arcak
IEEE control systems letters 2 (4), 761-766, 2018
142018
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
122014
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
72019
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
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
52018
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
42020
Interval Analysis
PJ Meyer, A Devonport, M Arcak
Interval Reachability Analysis, 15-24, 2021
22021
Symbolic control of monotone systems application to ventilation regulation in buildings
PJ Meyer, A Girard, E Witrant
Proceedings of the 18th International Conference on Hybrid Systemsá…, 2015
22015
Robust Controlled Invariance for UFAD Regulation
PJ Meyer, H Nazarpour, A Girard, E Witrant
5th ACM Workshop on Embedded Systems For Energy Efficient Buildings (BuildSys), 2013
22013
Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
PJ Meyer, A Devonport, M Arcak
Springer, 2021
12021
Abstraction-Based Control Synthesis
PJ Meyer, A Devonport, M Arcak
Interval Reachability Analysis, 93-101, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20