Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS.
Andreas WilligIna SchieferdeckerPublished in: Formal Methods for Industrial Applications (1995)
Keyphrases
- control system
- power plant
- fuzzy logic
- coal fired
- process control
- soft computing
- formal specification language
- case study
- fault diagnosis
- control law
- control strategy
- formal methods
- formal specification
- pid controller
- constraint propagation
- control scheme
- control algorithm
- data sets
- closed loop
- model checking
- artificial intelligence
- genetic algorithm
- machine learning