An Algebraic Specification of the Steam-Boiler Control System.
Michel BidoitClaude ChevenierChristine PellenJérôme RyckboschPublished in: Formal Methods for Industrial Applications (1995)
Keyphrases
- control system
- power plant
- fuzzy logic
- coal fired
- soft computing
- control algorithm
- fault diagnosis
- intelligent control
- control strategy
- process control
- closed loop
- control law
- fuzzy control
- high level
- real time
- power generation
- augmented reality
- decision support system
- knowledge base
- controller design
- dc motor
- specification language
- temperature control
- control scheme
- genetic algorithm
- control method
- pid controller
- formal methods
- historical data
- formal verification
- hardware and software
- learning algorithm
- intelligent systems
- particle swarm optimization
- data mining