Assertional Specification and Verification Using PVS of the Steam Boiler Control System.
Jan VittJozef HoomanPublished in: Formal Methods for Industrial Applications (1995)
Keyphrases
- formal verification
- control system
- power plant
- model checking
- soft computing
- fuzzy logic
- coal fired
- control algorithm
- closed loop
- real time
- control method
- fuzzy control
- temperature control
- artificial intelligence
- fault diagnosis
- decision support system
- control strategy
- historical data
- computational intelligence
- control law
- control scheme
- neural network
- formal specification
- artificial neural networks
- temporal logic
- specification language
- real environment
- data mining
- power generation
- asynchronous circuits
- timed automata
- monitoring system