Verification and Validation of Railway Control Systems Using an Expert System.
Waldemar NowakowskiPiotr BojarczakZbigniew LukasikPublished in: INTSYS (2017)
Keyphrases
- control system
- expert systems
- model checking
- formal verification
- inference engine
- knowledge acquisition
- closed loop
- signature verification
- control law
- face verification
- control algorithm
- industrial automation
- safety analysis
- blackboard architecture
- concurrent systems
- traffic management
- formal analysis
- neural network
- test cases
- knowledge base
- e learning
- learning algorithm
- information retrieval
- data mining