Formal Approach to Railway Applications

DOI10.1007/978-3-540-75221-9_24MaRDI QIDQ3526947zbMATH OpenOpenAlexFDO

Authors Martin Pěnička

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_24

zbMATH Keywords

controlinterlockingplanningrailwaysrosteringsignallingtechnique integrationtimetabling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Transportation, logistics and supply chain management (90B06) Traffic problems in operations research (90B20) Deterministic scheduling theory in operations research (90B35) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Railway track allocation: Models and methods
• A formal approach for the construction and verification of railway control systems
• Discrete-event models of a railway network
• A system-based approach to the formal development of embedded controllers for a railway
• A logic-algebraic approach to decision taking in a railway interlocking system

Cited in

(2)

• Dynamic state machines for formalizing railway control system specifications
• Ontology-driven middleware for next-generation train backbones

This page was built for publication: Formal Approach to Railway Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3526947)