LURPA > Previous organization > ISA team
PhD theses of ISA team
- Access to the complete list of PhD theses
Zoom on some theses of the team
Blackbox Behavioural Identification of Discrete Event Systems by Interpreted Petri Nets June 30, 2016 PhD Thesis of Jérémie SAIVES (LURPA)
Field: Automatic Control
A Discrete Event Approach for Model-Based Location Tracking of Inhabitants in Smart Homes December 2, 2013 PhD Defense of Mickaël DANANCHER (LURPA, in collaboration with the University of Kaiserslautern, Germany)
Domain: Electronics - Electrical engineering - Control engineering
Mapping control functions of critical systems on PLCs by reachability analysis in a network of communicating automata July 9, 2013 PhD defense of Thibault LEMATTRE (LURPA)
Domain: Electronics - Electrical engineering - Control engineering
Formal definition of coherency and computation of minimal cut sequences for binary dynamic and repairable systems April 15, 2013 PhD defense of Pierre-Yves CHAUX (LURPA)
Domain : Electronics - Electrical engineering - Control engineering
Black-Box identification of automated discrete event systems February 20, 2013 PhD defense of Ana-Paula ESTRADA-VARGAS (LURPA)
Domain : Electronics - Electrical engineering - Control engineering
Contribution to the modelling of realistic and multi-scale timed closed-loop systems June 22, 2012 PhD defense of Matthieu PERIN (LURPA)
Domain : Electronics - Electrical engineering - Control engineering
Conformance test of logic controllers from Grafcet specification July 8, 2011 PhD defense of Julien PROVOST (LURPA)
Domain : Electronics - Electrical engineering - Control engineering
