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.
2012
Luzzana, Andrea; Rossetti, Mattia; Righettini, Paolo; Scandurra, Patrizia
File allegato/i alla scheda:
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/27248
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact