Laurent Piétrac

According to our database1, Laurent Piétrac authored at least 22 papers between 2006 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Literature Review on the Contribution of Industry 4.0 Technologies in OEE Improvement.
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.
Comput. Appl. Math., 2020

From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory.
Proceedings of the 7th International Conference on Control, 2020

2018
A formal framework for the safe design of the Autonomous Driving supervision.
Reliab. Eng. Syst. Saf., 2018

Increase lifespan with a cell management algorithm in electric energy storage systems.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

2017
A new approach of modeling supervisory control for manufacturing systems based on SysML.
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.
Proceedings of the IEEE International Conference on Industrial Technology, 2016

2014
A Design Method for Synthesizing Control-Command Systems Out of Reusable Components.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Determining of critical and dreaded states achieved during metro line supervision.
Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

2012
Incremental discrete controller synthesis for communicating systems based on modular decomposition.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Dashboard to Regulate Project-Based Learning.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012

2011
On the use of SysML for manufacturing execution system design.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Process tracking by equivalent states in modal supervisory control.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Equivalence of behaviors between centralized and multi-model approaches.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Supervisory control based on multi-face modelling of discrete event systems.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009
Formal approach to multi-modal control design: application to mode switching.
IEEE Trans. Ind. Informatics, 2009

Multi-face modeling for rapid prototyping of discrete event control systems.
Proceedings of the 10th European Control Conference, 2009

A new framework for mode switching in SCT.
Proceedings of the 10th European Control Conference, 2009

2008
Identification of incompatible states in mode switching.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

A supervisor implementation approach in Discrete Controller Synthesis.
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.
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.
Math. Comput. Simul., 2006


  Loading...