Skip to Main content
Number of documents

7

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Hervé Marchand   

Journal articles1 document

  • Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems. Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 ((1-2)), pp.271-294. ⟨10.1007/s10626-014-0197-3⟩. ⟨hal-00994970⟩

Conference papers4 documents

  • Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Analysis of partially observed recursive tile systems. 11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271. ⟨hal-00743196⟩
  • Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. 3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. ⟨inria-00424857⟩
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩. ⟨inria-00425085⟩
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision patterns in discrete event systems. DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124. ⟨inria-00463799⟩

Reports2 documents

  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. [Research Report] PI 1784, 2006, pp.16. ⟨inria-00001113⟩
  • Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. [Research Report] RR-3814, INRIA. 1999. ⟨inria-00072844⟩