According to our database1, Pierre-Jean Meyer
Legend:Book In proceedings Article PhD thesis Other
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.
IEEE Trans. Automat. Contr., 2018
Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity.
IEEE Control Systems Letters, 2018
Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses.
Sampled-data reachability analysis using sensitivity and mixed-monotonicity.
Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems.
Compositional abstraction refinement for control synthesis.
Compositional abstraction and safety synthesis using overlapping symbolic models.
Compositional abstraction refinement for control synthesis under lasso-shaped specifications.
Proceedings of the 2017 American Control Conference, 2017
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings.
Symbolic control of monotone systems application to ventilation regulation in buildings.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Experimental implementation of UFAD regulation based on Robust Controlled Invariance.
Proceedings of the European Control Conference, 2014
Robust Controlled Invariance for UFAD Regulation.
Proceedings of the BuildSys 2013, 2013
Controllability and invariance of monotone systems for robust ventilation automation in buildings.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013