Name
Title | ||
|---|---|---|
Discrete Event Dataflow As A Formal Approach To Specification Of Industrial Vision Systems |
Abstract | ||
|---|---|---|
The need for more flexible manufacturing systems stimulates the adoption of industrial robots in combination with intelligent computing resources and sophisticated sensing technologies. In this context, industrial vision systems play a role of inherently flexible sensing means that can be used for a variety of tasks within automated inspection, process control and robot guidance. When vision sensing is used within a large complex system, it is of particular importance to handle the complexity by introducing the appropriate formal methods. This paper overviews the challenges arising during design, implementation and application of industrial vision systems, and proposes an approach, dubbed Discrete Event Dataflow (DEDF), allowing to formally specify vision dataflow in the context of larger systems. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/CoASE.2015.7294187 | 2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE) |
Field | DocType | ISSN |
Intelligent computing,Software engineering,Machine vision,Manufacturing systems,Computer science,Dataflow,Process control,Formal methods,Robot,Embedded system | Conference | 2161-8070 |
Citations | PageRank | References |
0 | 0.34 | 10 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Oleksandr Semeniuta | 1 | 0 | 0.34 |
| Petter Falkman | 2 | 46 | 10.37 |