Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.
Ignacio D. Lopez-MiguelBorja Fernández AdiegoFaiq GhawashEnrique Blanco ViñuelaPublished in: EANN (2023)
Keyphrases
- control system
- neural network
- fuzzy logic
- fuzzy control
- safety analysis
- closed loop
- control strategy
- control scheme
- source code
- control algorithm
- real time
- simulated annealing
- artificial neural networks
- intelligent control
- back propagation
- pattern recognition
- feed forward
- model checking
- control law
- byte code
- multi layer
- formal verification
- neural nets
- fuzzy systems
- fuzzy controller
- control method
- recurrent neural networks
- fault diagnosis
- genetic algorithm
- face verification
- static analysis
- neural network model
- verification method
- lyapunov theory