An Automaton-Based Formalism for Cooperative Augmented Reality Systems
Document Type
Contribution to Book
Publication Date
9-2-2009
Publication Title
Proceedings of the Workshop on Non-Classical Models for Automata and Applications
ISBN
978-3-85403-256-4
Abstract
The aim of the paper is to propose a formal model for Cooperative Augmented Reality Systems (CARSs). We motivate it by two examples, one of them applying Aug- mented Reality (AR) paradigms to medical training, and the other one to telerobotic manipulation. The model is based on automata theory and objectives are formulated as reachability-like decision problems. We show that reacha- bility, which plays an important role in analyzing CARSs, is undecidable in general, but it is NP-complete for finite- domain CARSs. The relationship with Petri nets, as models of distributed and concurrent systems, is also provided.
Recommended Citation
Hamza-Lup, Felix G., Ferucio Laurentiu Tiplea.
2009.
"An Automaton-Based Formalism for Cooperative Augmented Reality Systems."
Proceedings of the Workshop on Non-Classical Models for Automata and Applications: 135-150 Wroclaw, Poland: Austrian Computer Society.
source: https://dblp.org/db/conf/ncma/ncma2009 isbn: 978-3-85403-256-4
https://digitalcommons.georgiasouthern.edu/compsci-facpubs/138
