Pierre-Jean Meyer

发表

Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings

Pierre-Jean Meyer, Pierre-Jean Meyer, 2015 .

Controllability and invariance of monotone systems for robust ventilation automation in buildings

Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer, 2013, 52nd IEEE Conference on Decision and Control.

Interval Reachability Analysis using Second-Order Sensitivity pdf

Murat Arcak, Pierre-Jean Meyer, M. Arcak, 2019, IFAC-PapersOnLine.

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Dimos V. Dimarogonas, Pierre-Jean Meyer, 2019, IEEE Transactions on Automatic Control.

Abstraction refinement and plan revision for control synthesis under high level specifications

Dimos V. Dimarogonas, Pierre-Jean Meyer, D. Dimarogonas, 2017 .

Compositional abstraction refinement for control synthesis under lasso-shaped specifications

Dimos V. Dimarogonas, Pierre-Jean Meyer, D. Dimarogonas, 2017, 2017 American Control Conference (ACC).

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings

Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer, 2016, Autom..

Robust Controlled Invariance for UFAD Regulation

Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer, 2013, BuildSys@SenSys.

Using progress sets on non-deterministic transition systems for multiple UAV motion planning

Dimos V. Dimarogonas, Pierre-Jean Meyer, Paul Rousse, 2017 .

Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis

Stephen Tu, Murat Arcak, Andrew Packard, 2018, IEEE Transactions on Control Systems Technology.

Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses pdf

Murat Arcak, Pierre-Jean Meyer, Andrew Packard, 2018, Volume 1: Advances in Control Design Methods; Advances in Nonlinear Control; Advances in Robotics; Assistive and Rehabilitation Robotics; Automotive Dynamics and Emerging Powertrain Technologies; Automotive Systems; Bio Engineering Applications; Bio-Mecha.

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models

Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer, 2017, IEEE Transactions on Automatic Control.

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

Dimos V. Dimarogonas, Pierre-Jean Meyer, 2017 .

Safety control with performance guarantees of cooperative systems using compositional abstractions

Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer, 2015, ADHS.

Experimental implementation of UFAD regulation based on Robust Controlled Invariance

Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer, 2014, 2014 European Control Conference (ECC).

Continuous and discrete abstractions for planning, applied to ship docking pdf

Murat Arcak, Astrid H. Brodtkorb, Pierre-Jean Meyer, 2019, ArXiv.

Compositional abstraction refinement for control synthesis pdf

Dimos V. Dimarogonas, Pierre-Jean Meyer, D. Dimarogonas, 2017, ArXiv.