Segui
Pierre-Jean Meyer
Pierre-Jean Meyer
COSYS-ESTAS, UniversitÚ Gustave Eiffel, Lille
Email verificata su univ-eiffel.fr - Home page
Titolo
Citata da
Citata da
Anno
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
822017
TIRA: toolbox for interval reachability analysis
PJ Meyer, A Devonport, M Arcak
Proceedings of the 22nd ACM International Conference on Hybrid Systemsá…, 2019
532019
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
322019
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
PJ Meyer, A Girard, E Witrant
Automatica 70, 14-20, 2016
252016
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
222013
Sampled-data reachability analysis using sensitivity and mixed-monotonicity
PJ Meyer, S Coogan, M Arcak
IEEE control systems letters 2 (4), 761-766, 2018
182018
Compositional abstraction refinement for control synthesis
PJ Meyer, DV Dimarogonas
Nonlinear Analysis: Hybrid Systems 27, 437-451, 2018
182018
Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings
PJ Meyer
UniversitÚ Grenoble Alpes, 2015
172015
Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
PJ Meyer, A Devonport, M Arcak
Springer, 2021
132021
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
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
112019
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
82020
Reachability analysis of neural networks using mixed monotonicity
PJ Meyer
IEEE Control Systems Letters 6, 3068 - 3073, 2022
62022
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
62018
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
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
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
32015
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
32013
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20