Jean-François Pétin

According to our database1, Jean-François Pétin authored at least 17 papers between 1998 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Architecture assessment for safety critical plant operation using reachability analysis of timed automata.
Reliab. Eng. Syst. Saf., 2020

2017
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

2016
Generation of safe operation sequences using iterative refinements and abstractions of timed automata.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Performance assessment of industrial control system during pre-sales uncertain context using automatic Colored Petri Nets model generation.
Proceedings of the International Conference on Control, 2016

Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015
An integer coded genetic algorithm based on a replacement procedure for designing operational control architectures of critical systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Generation of safe plant operation sequences using reachability analysis.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communicating Automata.
Proceedings of the Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, 2014

2011
Using a meta-model to build operational architectures of automation systems for critical processes.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Designing operational control architectures of critical systems by reachability analysis.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Generating VHDL Source Code from UML Models of Embedded Systems.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009
Reliability, Maintainability, and Safety.
Proceedings of the Springer Handbook of Automation, 2009

Estimating maximum and minimum delays for wireless discrete networked control systems.
Proceedings of the 2009 Wireless Telecommunications Symposium, 2009

2006
Formal Specification Method for Systems Automation.
Eur. J. Control, 2006

2005
Metamodelling of production systems process models using UML stereotypes.
Int. J. Internet Enterp. Manag., 2005

2003
Setting up UML stereotypes for production systems modelling.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

1998
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998


  Loading...