Discrete event dataflow as a formal approach to specification of industrial vision systems.
Oleksandr SemeniutaPetter FalkmanPublished in: CASE (2015)
Keyphrases
- vision system
- discrete event
- dynamic systems
- formal specification
- simulation model
- formal methods
- discrete event simulation
- real time
- computer vision systems
- crisis response
- dynamical systems
- computer vision
- scene understanding
- stereo vision
- multiple faults
- control flow
- supervisory control
- robotic systems
- world model
- visual servoing
- high level
- visual attention
- cognitive vision
- active stereo
- stereo camera
- knowledge representation
- complex systems
- control system