Typing, representing, and abstracting control: functional pearl.

Philipp Schuster Jonathan Immanuel Brachthäuser

Published in: TyDe@ICFP (2018)

Keyphrases

control system
real time
control theory
database
control method
real time control
neural network
three dimensional
learning environment
data analysis
mobile robot
data acquisition
control strategy
adaptive control
control problems
robot control