Travelled to:1 × Italy
1 × USA
Collaborated with:M.Perin J.Provost J.Roussel T.Lemattre B.Denis J.Pétin P.Salaün
Talks about:system (2) architectur (1) manufactur (1) reachabl (1) abstract (1) grafcet (1) discret (1) control (1) analysi (1) specif (1)
Person: Jean-Marc Faure
DBLP: Faure:Jean=Marc
Contributed to:
20132011Wrote 3 papers:
- CASE-2013-PerinF #automation #modelling
- Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
- CASE-2011-LemattreDFPS #analysis #architecture #design #reachability
- Designing operational control architectures of critical systems by reachability analysis (TL, BD, JMF, JFP, PS), pp. 12–18.
- CASE-2011-ProvostRF #semantics #specification
- A formal semantics for Grafcet specifications (JP, JMR, JMF), pp. 488–494.