Abstract

We model a railway network with synchronization feature using timed automata (TA). The procedure consists of two steps: first, each train in the railway network is modeled as a TA; then, the final model is obtained by taking the parallel composition of all TA obtained in the first step.

Original languageEnglish
Pages (from-to)2429-2436
Number of pages8
JournalApplied Mathematical Sciences
Volume10
Issue number49
DOIs
Publication statusPublished - 2016

Keywords

  • Railway networks
  • Timed automata

Fingerprint

Dive into the research topics of 'Modeling of railway networks using timed automata'. Together they form a unique fingerprint.

Cite this