Filtrer vos résultats
- 6
- 3
- 4
- 3
- 1
- 1
- 2
- 1
- 1
- 9
- 1
- 3
- 2
- 3
- 9
- 9
- 9
- 1
- 9
- 8
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
|
triés par
|
|
|
From Reactive to Predictive Regulation in MetrosECSO 2017 : 2nd European Conference on Stochastic Optimization, Sep 2017, Rome, Italy
Communication dans un congrès
hal-01646916v1
|
||
Deliverable L2: Objectives of Phase 1 and use cases denition.[Contract] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.5
Rapport
hal-01094374v1
|
|||
|
|
Realizability of schedules by stochastic time Petri nets with blocking semanticsScience of Computer Programming, 2018, 157, pp.71-102. ⟨10.1016/j.scico.2017.12.004⟩
Article dans une revue
hal-01942241v1
|
||
Deliverable L3.1 : Model for regulated urban railway systems.[Research Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.21
Rapport
hal-01094381v1
|
|||
|
|
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics37th International Conference, PETRI NETS 2016, Fabrice Kordon and Daniel Moldt, Jun 2016, Torun, Poland. pp.155-175, ⟨10.1007/978-3-319-39086-4_11⟩
Communication dans un congrès
hal-01379424v1
|
||
|
|
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics[Research Report] INRIA Rennes - Bretagne Atlantique. 2017
Rapport
hal-01646920v2
|
||
|
|
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (regular paper)2016
Pré-publication, Document de travail
hal-01284682v1
|
||
Deliverable L1 : State of the art and selected references[Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32
Rapport
hal-01094366v1
|
|||
|
|
An efficient evaluation scheme for KPIs in regulated urban train systemsRSSRail 2017 - International Conference on reliability, safety, and security of railway systems, Nov 2017, Pistoia, Italy. pp.195-211
Communication dans un congrès
hal-01646919v1
|