Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques.
David ParkerYiannis PapadopoulosPublished in: ICNSC (2007)
Keyphrases
- safety analysis
- networked control systems
- control system
- feedback control
- nuclear power plant
- long time delay
- safety critical
- pid controller
- fault model
- control theory
- closed loop
- symbolic model checking
- packet loss
- control law
- control method
- reliability analysis
- communication networks
- formal methods
- genetic algorithm
- fuzzy control
- agent architecture
- multi objective
- reinforcement learning
- artificial intelligence