Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.
José ProençaSina BorramiJorge Sanchez de NovaDavid PereiraGiann Spilere NandiPublished in: RSSRail (2022)
Keyphrases
- safety critical
- formal methods
- safety analysis
- multiple models
- fault tolerant
- control system
- nuclear power plant
- embedded systems
- real time
- dynamic model
- agent architecture
- fuzzy logic
- knowledge based systems
- model checking
- support systems
- robotic manipulator
- management system
- distributed systems
- decision making
- decision trees
- expert systems
- adaptive systems
- user interface
- ensemble methods
- closed loop
- software systems