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
602017
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
312019
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
Hierarchical decomposition of LTL synthesis problem for nonlinear control systems
PJ Meyer, DV Dimarogonas
IEEE Transactions on Automatic Control 64 (11), 4676-4683, 2019
19*2019
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
PJ Meyer, A Girard, E Witrant
Automatica 70, 14-20, 2016
182016
Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings
PJ Meyer
UniversitÚ Grenoble Alpes, 2015
172015
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
Compositional abstraction refinement for control synthesis
PJ Meyer, DV Dimarogonas
Nonlinear Analysis: Hybrid Systems 27, 437-451, 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
7*2019
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
72018
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
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
32020
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
Abstraction-Based Control Synthesis
PJ Meyer, A Devonport, M Arcak
Interval Reachability Analysis, 93-101, 2021
12021
Interval reachability analysis using second-order sensitivity
PJ Meyer, M Arcak
IFAC-PapersOnLine 53 (2), 1825-1830, 2020
12020
Closed-loop incremental stability for efficient symbolic control of non-linear systems
P Tajvar, PJ Meyer, J Tumova
7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20