A Case Study on Formal Design of Hybrid Control Systems.

Hong Ki Thae Dang Van Hung

Published in: COMPSAC (2001)

Keyphrases

control system
case study
real time
design space
engineering design
image processing
building blocks
design process
design procedure
hybrid learning
computer aided
software architecture
user interface
decision trees
social networks
artificial intelligence
neural network
data sets