A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems

Stefan Haar 1, 2 Simon Theissing 1, 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Communication dans un congrès
5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01242903
Contributeur : Benedikt Bollig <>
Soumis le : lundi 14 décembre 2015 - 12:05:44
Dernière modification le : jeudi 3 mai 2018 - 17:28:37

Identifiants

  • HAL Id : hal-01242903, version 1

Citation

Stefan Haar, Simon Theissing. A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States. 〈hal-01242903〉

Partager

Métriques

Consultations de la notice

149