Accéder directement au contenu

Sophie Pinchinat

7
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

herve-marchand
Image document

Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems

 Sébastien Chédor , Christophe Morvan , Sophie Pinchinat , Hervé Marchand
Discrete Event Dynamic Systems, 2015, 25 ((1-2)), pp.271-294. ⟨10.1007/s10626-014-0197-3⟩
Article dans une revue hal-00994970v1
Image document

Analysis of partially observed recursive tile systems

 Sébastien Chédor , Christophe Morvan , Sophie Pinchinat , Hervé Marchand
11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271
Communication dans un congrès hal-00743196v1

Supervision patterns in discrete event systems

 Thierry Jéron , Hervé Marchand , Sophie Pinchinat , Marie-Odile Cordier
DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Communication dans un congrès inria-00463799v1
Image document

Supervision Patterns in Discrete Event Systems Diagnosis

 Thierry Jéron , Hervé Marchand , Sophie Pinchinat , Marie-Odile Cordier
Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩
Communication dans un congrès inria-00425085v1
Image document

A constructive and modular approach to decentralized supervisory Control problems

 Jan Komenda , Hervé Marchand , Sophie Pinchinat
3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland
Communication dans un congrès inria-00424857v1
Image document

Supervision Patterns in Discrete Event Systems Diagnosis

 Thierry Jéron , Hervé Marchand , Sophie Pinchinat , Marie-Odile Cordier
[Research Report] PI 1784, 2006, pp.16
Rapport inria-00001113v1
Image document

Symbolic Abstractions of Automata and their application to the Supervisory Control Problem

 Sophie Pinchinat , Hervé Marchand , Michel Le Borgne
[Research Report] RR-3814, INRIA. 1999
Rapport inria-00072844v1