About: Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
Creator	Legay, Axel Ter Beek, Maurice Basile, Davide
Source	PMC
abstract	Moving block railway systems are the next generation signalling systems currently under development as part of the Shift2Rail European initiative, including autonomous driving technologies. In this paper, we model a suitable abstraction of a moving block signalling system with autonomous driving as a stochastic priced timed game. We then synthesise safe and optimal driving strategies for the model by applying advanced techniques that combine statistical model checking with reinforcement learning as provided by Uppaal Stratego. Hence, we show the applicability of Uppaal Stratego in this concrete case study.
has issue date	2020-05-13(xsd:dateTime)
bibo:doi	10.1007/978-3-030-50086-3_1
has license	no-cc
sha1sum (hex)	ac8bd250fd679dbd5bcf201bdf5489f9cc343500
schema:url	https://doi.org/10.1007/978-3-030-50086-3_1
resource representing a document's title	Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
has PubMed Central identifier	PMC7281857
schema:publication	Formal Techniques for Distributed Objects, Components, and Systems
resource representing a document's body	covid:ac8bd250fd679dbd5bcf201bdf5489f9cc343500#body_text
is schema:about of	named entity 'APPLYING' named entity 'Uppaal' named entity 'Moving block' named entity 'Uppaal' named entity 'Autonomous Driving' named entity 'Promela' named entity 'track circuits' named entity 'real-time' named entity 'state space' named entity 'real-time' named entity 'moving block' named entity 'model checking' named entity 'Stratego' named entity 'model checking' named entity 'ERTMS' named entity 'CSIRT' named entity 'Model Checking' named entity 'Aalborg University' named entity 'state space' named entity 'Uppaal' named entity 'distributed application' named entity 'probability distribution' named entity 'H2020' named entity 'braking distance' named entity 'Stratego' named entity 'Stratego' named entity 'Stratego' named entity 'algorithm' named entity 'moving block' named entity 'probability distribution' named entity 'braking distance' named entity 'UAV' named entity 'Eurobalises' named entity 'avionics' named entity 'Uppaal' named entity 'model checking' named entity 'Uppaal' named entity 'moving block signalling' named entity 'formal verification' named entity 'railway signalling' named entity 'state space' named entity 'Uppaal' named entity 'Uppaal' named entity 'Uppaal' named entity 'ERTMS' named entity 'Stratego' named entity 'Stratego' named entity 'autonomous driving' named entity 'formal methods' named entity 'odometry' named entity 'railway signalling' named entity 'model checking' named entity 'probability distribution' named entity 'Zeno' named entity 'model checker' named entity 'model checking' named entity 'Model Checking' named entity 'ERTMS' named entity 'logic' named entity 'space exploration' named entity 'algorithm' named entity 'railway signalling' named entity 'Uppaal' named entity 'rail transport' named entity 'GPRS' named entity 'parametric statistical model' named entity 'braking distance' named entity 'Stratego' named entity 'Stratego' named entity 'flight plan' named entity 'model checking' named entity 'Uppaal' named entity 'moving block' named entity 'model checker' named entity 'statistical model' named entity 'cruise control' named entity 'GSM-R' named entity 'Spin' named entity 'Stratego' named entity 'freight rail transport' named entity 'Stratego'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software