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.
| Original language | American English |
|---|---|
| Title of host publication | Proceedings of the Workshop on Non-Classical Models for Automata and Applications |
| State | Published - Sep 2 2009 |
Disciplines
- Computer Sciences
Keywords
- Automaton-based formalism
- CARs
- Cooperative augmented reality systems