Analyzing the Light Control System with PVS.

Adriaan de Groot Jozef Hooman

Published in: J. Univers. Comput. Sci. (2000)

Keyphrases

control system
neural network
closed loop
fuzzy control
theorem proving
formal verification
fuzzy logic
control method
process control
real time
theorem prover
control strategy
xml schema
fuzzy controller
control algorithm
pid controller
intelligent control
decision trees
speed control
timed automata
remote monitoring