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
2 LSV - Laboratoire Spécification et Vérification [Cachan]
Document type :
Conference papers
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01242903
Contributor : Benedikt Bollig <>
Submitted on : Monday, December 14, 2015 - 12:05:44 PM
Last modification on : Thursday, May 3, 2018 - 5:28:37 PM

Identifiers

  • HAL Id : hal-01242903, version 1

Collections

INRIA | ENS-CACHAN | UNIV-PARIS-SACLAY | IRT-SYSTEMX

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

153

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD