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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 : robustness scheduling Formal models
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/hal-01094366
Contributor : Loic Helouet <>
Submitted on : Friday, December 12, 2014 - 11:03:46 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:19 PM

Identifiers

  • HAL Id : hal-01094366, version 1

Collections

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

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

Share

Metrics

Record views

448

 

Contact                    Legal Notice                    Personal Data