A logic approach to decision taking in a railway interlocking system using Maple
type: Item
instance of: scholarly article
title: A logic approach to decision taking in a railway interlocking system using Maple
zbMATH Open document ID: 1237.90149
author: Eugenio Roanes-Lozano
author: A. Hernando
author: Jose Antonio Alonso
author: Luis M. Laita
published in: Mathematics and Computers in Simulation
publication date: 2012-05-14T00:00:00Z
Mathematics Subject Classification ID: 90B90
Mathematics Subject Classification ID: 90B50
Mathematics Subject Classification ID: 03B80
zbMATH DE Number: 6034836
zbMATH Keywords: railway interlocking systems
zbMATH Keywords: logic
zbMATH Keywords: decision theory
zbMATH Keywords: graph theory
describes a project that uses: Maple
MaRDI profile type: Publication
full work available at URL: j.matcom.2010.05.024
OpenAlex ID: W2060992531
cites work: Case study: Formal verification of a computerized railway interlocking
cites work: Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
cites work: Q4023642
cites work: An applicable topology-independent model for railway interlocking systems
DOI: 10.1016/J.MATCOM.2010.05.024
Recommended article: A logic-algebraic approach to decision taking in a railway interlocking system
Recommended article: An approach from answer set programming to decision making in a railway interlocking system
Recommended article: Formal verification of a railway interlocking system using model checking
Recommended article: An applicable topology-independent model for railway interlocking systems
Recommended article: A logic-based Benders decomposition for microscopic railway timetable planning
description: scientific article; zbMATH DE number 6034836