Login / Signup
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.
Hartmann J. Genrich
Hans-Michael Hanisch
Konrad Wöllhaf
Published in:
Application and Theory of Petri Nets (1994)
Keyphrases
</>
control strategies
artificial intelligence
control system
face verification
real time
neural network
computer vision
website
optimal control
control method
robot control