Computer Science: Faculty Publications
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
Copyright
This work is archived and distributed under the repository's Standard Copyright and Reuse License (opens in new tab). End users may copy, store, and distribute this work without restriction. For all other uses, permission must be obtained from the copyright owners or their authorized agents.
