Formal Models of Control Systems.

Babak Sadighi Firozabadi Leendert W. N. van der Torre

Published in: ECAI (1998)

Keyphrases

formal models
control system
rule based systems
formal model
process model
control algorithm
fuzzy logic
control law
fault detection and isolation
real time
industrial automation
real environment
control scheme
closed loop
reinforcement learning
information systems
neural network