An Automata-Based Formalism for Cooperative Augmented Reality Systems

Authors

Felix G. Hamza-Lup, Georgia Southern UniversityFollow
Ferucio Laurentiu Tiplea, "Al.I.Cuza" UniversityFollow

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.

Recommended Citation

Hamza-Lup, Felix G., Ferucio Laurentiu Tiplea. 2006. "An Automata-Based Formalism for Cooperative Augmented Reality Systems." Proceedings of the International Workshop on Petri Nets and Their Applications to Workflow Management: 1-11 Timisoara, Romania.
https://digitalcommons.georgiasouthern.edu/compsci-facpubs/158