Verification of a production cell using an automatic verification environment for VHDL.

Ronald Herrmann Thomas Reielts

Published in: EURO-DAC (1995)

Keyphrases

mobile robot
real time
production system
artificial intelligence
e learning
dynamic environments
model checking
autonomous agents
hardware implementation
face verification
production scheduling