Laurent Piétrac

Séverine Durieux

Proceedings of the Decision Support Systems XIII. Decision Support Systems in An Uncertain World: The Contribution of Digital Twins, 2023

2020

Towards a tropical automaton product minimizing global completion times.

[BibT_eX]

[DOI]

Comput. Appl. Math., 2020

From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory.

[BibT_eX]

[DOI]

Emil Dumitrescu

Proceedings of the 7th International Conference on Control, 2020

2018

A formal framework for the safe design of the Autonomous Driving supervision.

[BibT_eX]

[DOI]

Nicoleta Minoiu Enache

Christophe Dang-Van-Nhan

Reliab. Eng. Syst. Saf., 2018

Increase lifespan with a cell management algorithm in electric energy storage systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2018

2017

A new approach of modeling supervisory control for manufacturing systems based on SysML.

[BibT_eX]

[DOI]

Xiaoshan Lu

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

C-3C: A structure for high reliability with minimal redundancy for batteries.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2016

2014

A Design Method for Synthesizing Control-Command Systems Out of Reusable Components.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Determining of critical and dreaded states achieved during metro line supervision.

[BibT_eX]

[DOI]

Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

2012

Incremental discrete controller synthesis for communicating systems based on modular decomposition.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Dashboard to Regulate Project-Based Learning.

[BibT_eX]

[DOI]

Christine Michel

Élise Lavoué

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

2011

On the use of SysML for manufacturing execution system design.

[BibT_eX]

[DOI]

Arnaud Lelevé

Sébastien Henry

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Process tracking by equivalent states in modal supervisory control.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Equivalence of behaviors between centralized and multi-model approaches.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Supervisory control based on multi-face modelling of discrete event systems.

[BibT_eX]

[DOI]

Gábor Kovács

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Formal approach to multi-modal control design: application to mode switching.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2009

Multi-face modeling for rapid prototyping of discrete event control systems.

[BibT_eX]

[DOI]

Gábor Kovács

Proceedings of the 10th European Control Conference, 2009

A new framework for mode switching in SCT.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

2008

Identification of incompatible states in mode switching.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

A supervisor implementation approach in Discrete Controller Synthesis.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

A formal approach for the specification, verification and control of flexible manufacturing systems.

[BibT_eX]

[DOI]

Sajeh Zairi

Belhassen Zouari

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Multi-Model approach to discrete events systems: Application to operating mode management.

[BibT_eX]

[DOI]

Oualid Kamach