Computer Science: Faculty Publications

An Automata-Based Formalism for Cooperative Augmented Reality Systems

Document Type

Contribution to Book

Publication Date

9-27-2006

Publication Title

Proceedings of the International Workshop on Petri Nets and Their Applications to Workflow Management

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 Augmented 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 reachability, 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.

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.

This document is currently not available here.

Share

COinS