Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
Giuseppe Della PennaBenedetto IntrigilaIgor MelattiMichele MinichinoEster CiancamerlaAndrea ParisseEnrico TronciMarisa Venturini ZilliPublished in: HSCC (2003)
Keyphrases
- control system
- closed loop
- fuzzy logic
- control algorithm
- controller design
- control strategy
- fuzzy control
- remote control
- process control
- intelligent control
- classical logic
- real time
- pid controller
- control scheme
- matlab simulation
- real time control
- decision trees
- neural network
- control loop
- fuzzy controller
- control method
- vision system
- fuzzy sets
- knowledge representation
- pid control
- databases