Decomposition of verification of machine programs based on control-state Abstract State Machines.

Werner Gabrisch

Published in: BCI (Local) (2013)

Keyphrases

control system
control program
control structures
machine learning
case study
multiscale
decomposition method
control strategy
control method
data acquisition
process control
adaptive control
robotic systems
real time
model checking
programming language
neural network