Categorical Semantics of Control.

Published in: TLCA (2001)

Keyphrases

process control
control method
formal semantics
control system
databases
control theory
conceptual model
optimal control
semantic representation
control problems
numerical values