Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection
Abstract Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system, and cognate variables are presented he...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2022-08-01
|
Series: | IET Intelligent Transport Systems |
Subjects: | |
Online Access: | https://doi.org/10.1049/itr2.12194 |