Pierre-Jean Meyer

Pierre-Jean Meyer

Journal publications

  1. Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models. Accepted in IEEE Transactions on Automatic Control, 2017. [Preprint]
  2. Pierre-Jean Meyer and Dimos V. Dimarogonas, Compositional abstraction refinement for control synthesis. Accepted in Nonlinear Analysis: Hybrid Systems, 2017. [Preprint]
  3. Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Robust controlled invariance for monotone systems: application to ventilation regulation in buildings. Automatica, 2016. [Preprint] [BibTeX]

Conference publications

  1. Pierre-Jean Meyer and Dimos V. Dimarogonas, Abstraction refinement and plan revision for control synthesis under high level specifications. 20th IFAC World Congress, Toulouse, France, 2017. [Preprint] [BibTeX] [Poster] [Slides]
  2. Paul Rousse, Pierre-Jean Meyer and Dimos V. Dimarogonas, Using progress sets on non-deterministic transition systems for multiple UAV motion planning. 20th IFAC World Congress, Toulouse, France, 2017. [Preprint] [BibTeX] [Slides] [Video]
  3. Pierre-Jean Meyer and Dimos V. Dimarogonas, Compositional abstraction refinement for control synthesis under lasso-shaped specifications. American Control Conference, Seattle, USA, 2017. [Preprint] [BibTeX] [Slides]
  4. Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions. 5th IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, USA, 2015. [Preprint] [BibTeX] [Slides]
  5. Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings. 18th ACM International Conference on Hybrid Systems: Computation and Control, Seattle, USA, 2015. [Preprint] [BibTeX] [Poster]
  6. Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard and Emmanuel Witrant, Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance. 13th European Control Conference, Strasbourg, France, 2014. [Preprint] [BibTeX] [Slides]
  7. Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Controllability and invariance of monotone systems for robust ventilation automation in buildings. 52nd IEEE Conference on Decision and Control, Florence, Italy, 2013. [Preprint] [BibTeX] [Slides]
  8. Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard and Emmanuel Witrant, Robust Controlled Invariance for UFAD Regulation. 5th ACM Workshop on Embedded Systems For Energy-Efficient Buildings (BuildSys), Rome, Italy, 2013. [Preprint] [BibTeX] [Poster]

Theses