Autonomous shuttle system case study

Authors:
Holger Giese;Florian Klein
Affiliations:
Software Engineering Group, University of Paderborn, Paderborn, Germany;Software Engineering Group, University of Paderborn, Paderborn, Germany
Venue:
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Year:
2003

Citing 0
Cited 2

Modeling and reasoning about service behaviors and their compositions

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Graph transformations for MDE, adaptation, and models at runtime

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

At the University of Paderborn, the Railcab project is developing an intelligent rail-based transportation system. Its vision is to combine flexible, on-demand scheduling with cost and resource effectiveness, thus offering the advantages of both individual and public transportation. Fleets of intelligent shuttles capable of transporting a small number of passengers or a single freight container autonomously navigate a passive track system and make independent and decentralized operational decisions.