A complete, co-inductive syntactic theory of sequential control and state.

Kristian Støvring Søren B. Lassen

Published in: POPL (2007)

Keyphrases

control system
theoretical framework
inductive learning
information systems
state space
control theory
machine learning
control method
process control
formal theory
real time
data mining
genetic algorithm
natural language
expert systems