Login / Signup

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology.

Josh HunterJohn A. McDermidSimon Burton
Published in: CoRR (2024)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • expert systems
  • complex systems
  • control system
  • fault model
  • multi agent
  • low cost
  • fuzzy rules
  • symbolic model checking