Login / Signup
What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics.
Albert Mo Kim Cheng
Published in:
ICINCO (Invited Speakers) (2004)
Keyphrases
</>
control system
real time
rule based systems
real environment
formal verification
fuzzy logic
computer vision
real world
data mining
machine learning
artificial intelligence
pattern recognition
expert systems
knowledge based systems
security systems