An Automaton-Based Formalism for Cooperative Augmented Reality Systems

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