dc.contributor.author | Semeniuta, Oleksandr | |
dc.contributor.author | Falkman, Petter | |
dc.date.accessioned | 2017-11-20T08:43:31Z | |
dc.date.available | 2017-11-20T08:43:31Z | |
dc.date.created | 2016-02-03T09:53:48Z | |
dc.date.issued | 2015 | |
dc.identifier.isbn | 978-1-4673-8183-3 | |
dc.identifier.uri | http://hdl.handle.net/11250/2467065 | |
dc.description.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. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | IEEE | nb_NO |
dc.relation.ispartof | Automation Science and Engineering (CASE), 2015 IEEE International Conference on | |
dc.title | Discrete event dataflow as a formal approach to specification of industrial vision systems | nb_NO |
dc.type | Chapter | nb_NO |
dc.type | Peer reviewed | nb_NO |
dc.description.version | acceptedVersion | nb_NO |
dc.source.pagenumber | 849-854 | nb_NO |
dc.identifier.doi | 10.1109/CoASE.2015.7294187 | |
dc.identifier.cristin | 1331242 | |
dc.description.localcode | This is the authors' accepted and refereed manuscript to the article. © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | nb_NO |
cristin.unitcode | 194,18,25,21 | |
cristin.unitname | Seksjon for elektro og maskin | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |