Axioms for control operators in the CPS hierarchy.

Yukiyoshi Kameyama

Published in: High. Order Symb. Comput. (2007)

Keyphrases

control system
control structures
data model
database
multiscale
control strategies
real time
data mining
decision trees
evolutionary algorithm
query processing
control method
process control