Nombre de documents

6

CV de Matthieu Perin


Thèse1 document

  • Matthieu Perin. Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés. Autre. École normale supérieure de Cachan - ENS Cachan, 2012. Français. <NNT : 2012DENS0028>. <tel-00753503>

Communication dans un congrès4 documents

  • Matthieu Perin, Jean-Marc Faure. Comparing detailed and abstract timed models of automated discrete manufacturing systems. 9th annual IEEE International Conference on Automation Science and Engineering (CASE 2013), Aug 2013, Madison (WI), United States. pp.TuBT5.2, 2013. <hal-00865616>
  • Matthieu Perin, Jean-Marc Faure. Coupling timed plant and controller models with urgent transitions without introducing deadlocks. 17th IEEE international conference on Emerging Technologies on Factory Automation, Sep 2012, Krakovie, Poland. SS09, paper 242, 2012. <hal-00753892>
  • Matthieu Perin, Jean-Marc Faure. Building Meaningful Timed Plant Models for Verification Purposes. 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Jun 2009, Moscow, Russia. paper 420, 2009. <hal-00379421>
  • Matthieu Perin, Jean-Marc Faure. Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-based. Conférence Internationale Francophone d'Automatique (CIFA) 2008, Sep 2008, Bucarest, Roumanie. CDRom paper n°381, 2008. <hal-00359050>

Article dans une revue1 document