Published in: OASIcs, Volume 59, 17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017)
Fahimeh Khoshniyat and Johanna Törnquist Krasemann. Analysis of Strengths and Weaknesses of a MILP Model for Revising Railway Traffic Timetables. In 17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017). Open Access Series in Informatics (OASIcs), Volume 59, pp. 10:1-10:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{khoshniyat_et_al:OASIcs.ATMOS.2017.10, author = {Khoshniyat, Fahimeh and T\"{o}rnquist Krasemann, Johanna}, title = {{Analysis of Strengths and Weaknesses of a MILP Model for Revising Railway Traffic Timetables}}, booktitle = {17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017)}, pages = {10:1--10:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-042-2}, ISSN = {2190-6807}, year = {2017}, volume = {59}, editor = {D'Angelo, Gianlorenzo and Dollevoet, Twan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2017.10}, URN = {urn:nbn:de:0030-drops-78995}, doi = {10.4230/OASIcs.ATMOS.2017.10}, annote = {Keywords: Railway, Timetable, Short term planning, Boosting Methods, Valid inequalities} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Andreas Rauh, Johanna Minisini, and Eberhard P. Hofer. Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{rauh_et_al:DagSemProc.08021.21, author = {Rauh, Andreas and Minisini, Johanna and Hofer, Eberhard P.}, title = {{Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.21}, URN = {urn:nbn:de:0030-drops-14529}, doi = {10.4230/DagSemProc.08021.21}, annote = {Keywords: Interval techniques, \{sc\{ValEncIA-IVP\}\}, controller design, robustness, validated integration of ODEs, parameter uncertainties, sensitivity analysis} }
Published in: OASIcs, Volume 2, 5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05) (2006)
Johanna Törnquist. Computer-based decision support for railway traffic scheduling and dispatching: A review of models and algorithms. In 5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05). Open Access Series in Informatics (OASIcs), Volume 2, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{tornquist:OASIcs.ATMOS.2005.659, author = {T\"{o}rnquist, Johanna}, title = {{Computer-based decision support for railway traffic scheduling and dispatching: A review of models and algorithms}}, booktitle = {5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05)}, pages = {1--23}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-00-2}, ISSN = {2190-6807}, year = {2006}, volume = {2}, editor = {Kroon, Leo G. and M\"{o}hring, Rolf H.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2005.659}, URN = {urn:nbn:de:0030-drops-6592}, doi = {10.4230/OASIcs.ATMOS.2005.659}, annote = {Keywords: Decision support, railway traffic scheduling, railway traffic dispatching, overview} }
Feedback for Dagstuhl Publishing