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 : robustness scheduling Formal models
Type de document :
Rapport
[Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32
Liste complète des métadonnées
https://hal.inria.fr/hal-01094366
Contributeur : Loic Helouet <>
Soumis le : vendredi 12 décembre 2014 - 11:03:46
Dernière modification le : mercredi 16 mai 2018 - 11:24:07

Identifiants

  • HAL Id : hal-01094366, version 1

Collections

INRIA | IRISA | IRISA-D4 | LARA | UR1-UFR-ISTIC | UNIV-RENNES

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

371

Contact


archive-ouverte@inria.fr