Pierre-Jean Meyer

According to our database1, Pierre-Jean Meyer authored at least 14 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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.
CoRR, 2018

Sampled-data reachability analysis using sensitivity and mixed-monotonicity.
CoRR, 2018

2017
Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems.
CoRR, 2017

Compositional abstraction refinement for control synthesis.
CoRR, 2017

Compositional abstraction and safety synthesis using overlapping symbolic models.
CoRR, 2017

Compositional abstraction refinement for control synthesis under lasso-shaped specifications.
Proceedings of the 2017 American Control Conference, 2017

2016
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings.
Automatica, 2016

2015
Symbolic control of monotone systems application to ventilation regulation in buildings.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Safety control with performance guarantees of cooperative systems using compositional abstractions.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Experimental implementation of UFAD regulation based on Robust Controlled Invariance.
Proceedings of the European Control Conference, 2014

2013
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


  Loading...