This paper proposes the use of the Abstract State Machine method for a rigorous foundation in modeling and validating Vision-Based Robot Control applications. We show how to tailor control tasks definitions and associated synchronization/communication patterns in rigorous and abstract terms by using control state ASMs and an extension of the classical flowchart notation to allow the definition/instantiation of recurring design solutions and to improve model traceability.
(2012). Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/27248
Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs
LUZZANA, Andrea;ROSSETTI, Mattia;RIGHETTINI, Paolo;SCANDURRA, Patrizia
2012-01-01
Abstract
This paper proposes the use of the Abstract State Machine method for a rigorous foundation in modeling and validating Vision-Based Robot Control applications. We show how to tailor control tasks definitions and associated synchronization/communication patterns in rigorous and abstract terms by using control state ASMs and an extension of the classical flowchart notation to allow the definition/instantiation of recurring design solutions and to improve model traceability.| File | Dimensione del file | Formato | |
|---|---|---|---|
|
Scandurra, Righettini - Modeling synchronization communication patterns.pdf
Solo gestori di archivio
Versione:
publisher's version - versione editoriale
Licenza:
Licenza default Aisberg
Dimensione del file
229.5 kB
Formato
Adobe PDF
|
229.5 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
