Skip to Main content Skip to Navigation
Reports

Deliverable L1 : State of the art and selected references

Loïc Hélouët 1 Eric Fabre 1 Christophe Morvan 2 Blaise Genest 1 Karim Kecir 1 Hervé Marchand 1 
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Abstract : This document is a focused state of the art for the P22 project between ALSTOM and the INRIA SUMO team. The goal of this project is to provide evaluation tools for the robustness of schedules (a.k.a timetables) for urban train systems, and evaluation techniques for regulation policies.
Keywords : Formal models scheduling robustness
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/hal-01094366
Contributor : Loic Helouet Connect in order to contact the contributor
Submitted on : Friday, December 12, 2014 - 11:03:46 AM
Last modification on : Wednesday, February 2, 2022 - 3:50:48 PM

Identifiers

  • HAL Id : hal-01094366, version 1

Collections

INSTITUT-TELECOM | EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | IRISA-D4 | INRIA2 | LARA | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM

Citation

Loïc Hélouët, Eric Fabre, Christophe Morvan, Blaise Genest, Karim Kecir, et al.. Deliverable L1 : State of the art and selected references. [Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32. ⟨hal-01094366⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

203

 

Contact                    Legal Notice                    Personal Data