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
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
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〉
