|Olivier H. Roux|
|Head of the Real Time Systems group|
| IRCCyN / École Centrale de Nantes |
1, rue de la Noë B.P. 92101
44321 Nantes Cedex 3, France
|Tel: from abroad: +33 2 40 37 69 76 - from France: 02 40 37 69 76
|Fax: from abroad: +33 2 40 37 69 30 - from France: 02 40 37 69 30
email@example.com (remove "no-spam.")
Not to be confused with Olivier (F.) Roux (also professor at École Centrale de Nantes and member of IRCCyN)
Teaching (École Centrale de Nantes)
- Real-Time Systems
My work concerns the model-checking and the control of real-time systems:
- Expressiveness of Timed models
- Comparison of the expressiveness of Timed Automata and Time Petri Nets wrt timed bisimulation and timed language acceptance.
- Expressiveness of Arc-Place-Transition time Petri nets, read arc, inhibitor arc, reset arcs...
- Model-checking and control of Time Petri Nets and Stopwatch Petri Nets
- State space abstractions and overapproximations
- TCTL model checking (implemented in the tool Roméo)
- Control of Time Petri Nets
- Parametric extensions of Time Petri Nets, Stopwatch Petri Nets and Timed Automata
- Parametric model-checking
- Parametric unfolding
- Parametric timed games
Contracts, projects and research groups
- BA Systemes (2012-2015): Real Time Control of AGV (Automated Guided Vehicle).
- SeeForSys (2011-2014): Formal modeling and synthesis of drivers for embedded systems.
- Sodius (2006-2009): Study of problems of simulation and model-checking of eFFBD via Time Petri Nets.
- Dassault Aviation (2005-2006): Starting from an AADL model of an avionics system (with timed constraints), the goal is to translate this model into Time Petri Net in order to extract a set of translation rules.
I am involved in
- ANR IMPRO (2011-2014): Implementability and Robustness of Timed Systems. Partners : IRCCyN (Nantes), IRISA (Rennes), LIP6 (Paris), LSV (Cachan), LIAFA (Paris) and LIF (Marseille).
- ANR DOTS (2007-2010): Distributed Open and Timed Systems. Research topics: Formal Verification, Embedded Systems, Model checking, Control and Non-interference. Partners : IRCCyN (Nantes), IRISA (Rennes), LaBRI (Bordeaux), LAMSADE (Paris), and LSV (Cachan).
- ARC INRIA (TP)I (2010-2011): (Timed/Probabilistic) Interfaces. Research topics: complex embedded systems - components and interfaces.
Partners: IRISA, Aalborg University, ITI Copenhagen et IRCCyN.
- ACI CORTOS (2003-2006) : Control and Observation of Real-Time Open Systems. Research topics: Controller synthesis, Real-time systems, Timed automata, Verification of open systems and Observation. Partners : IRCCyN (Nantes), LSV (Cachan) and VERIMAG (Grenoble).
- European project ITEA EAST-EEA (2001-2004).
This automotive-project is funded by the European Union and consists of major European automotive manufacturers,
first-tier suppliers and research departments.
CNRS research groups
These works on Petri Nets lead to implementations which are integrated in the
Roméo software workshop (an experimental version for Linux, Mac OSX and Windows
is available on the Roméo Web Site). Roméo consists of a graphic interface written
in tcl/tk and a computation module written in C++. TA obtained are provided in the input format of Uppaal or Kronos.
Some Publications can be found here
Upcoming & Past Events
FORMATS 2013 - PC member
MSR'13 - Steering committee
CODIT 2013 - PC member
MOVEP 2012 - PC member
FORMATS 2012 - PC member
ESDA 2012 - Round table co-chair
VECOS 2012 - PC member
LATA 2012 - PC member
SUMo 2011 - PC member
MSR'11 - PC member
ETR 2011 - PC member
Petri Nets 2011 - PC member
DOTS'10 - PC member
VECoS'10 - PC member
APNOC'10 - PC member
Petri Nets 2010 - PC member
SUMo'2010 - PC member
MSR'09 - PC chair and organizer
TiSto'09 - PC co-chair
APNOC'09 - PC member
ETR'09 - PC member
MSR'07 - PC member
ETR'07 - PC member and co-organizer
Last updated December 17, 2012 by Olivier Roux