Strong Bisimulation for Control Operators.

Eduardo Bonelli Delia Kesner Andrés Viso

Published in: CoRR (2019)

Keyphrases

control system
control structures
image processing
process control
databases
control strategy
machine learning
information retrieval
image segmentation
query processing
hidden markov models
adaptive control
control problems
control theory