An Automata-Based Formalism for Cooperative Augmented Reality Systems

Felix G. Hamza-Lup; Ferucio Laurentiu Tiplea

An Automata-Based Formalism for Cooperative Augmented Reality Systems

Felix G. Hamza-Lup, Ferucio Laurentiu Tiplea

Computer Science

"Al.I.Cuza" University

Research output: Contribution to book or proceeding › Chapter

Abstract

<p> 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 &filig;nite-domain CARSs. The relationship with Petri nets, as models of distributed and concurrent systems, is also provided.</p>

Original language	American English
Title of host publication	Proceedings of the International Workshop on Petri Nets and Their Applications to Workflow Management
State	Published - Sep 27 2006

Keywords

Automata-based formalism
Cooperative augmented reality systems

DC Disciplines

Computer Sciences

Access to Document

http://felixlup.net/papers/2006_PNWM_Hamza-Lup.pdf

Cite this

@inbook{467f201fd96c46088e32af6585e2bfb0,

title = "An Automata-Based Formalism for Cooperative Augmented Reality Systems",

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 &filig;nite-domain CARSs. The relationship with Petri nets, as models of distributed and concurrent systems, is also provided.",

keywords = "Automata-based formalism, Cooperative augmented reality systems",

author = "Hamza-Lup, {Felix G.} and Tiplea, {Ferucio Laurentiu}",

year = "2006",

month = sep,

day = "27",

language = "American English",

booktitle = "Proceedings of the International Workshop on Petri Nets and Their Applications to Workflow Management",

}

TY - CHAP

T1 - An Automata-Based Formalism for Cooperative Augmented Reality Systems

AU - Hamza-Lup, Felix G.

AU - Tiplea, Ferucio Laurentiu

PY - 2006/9/27

Y1 - 2006/9/27

N2 - 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 &filig;nite-domain CARSs. The relationship with Petri nets, as models of distributed and concurrent systems, is also provided.

AB - 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 &filig;nite-domain CARSs. The relationship with Petri nets, as models of distributed and concurrent systems, is also provided.

KW - Automata-based formalism

KW - Cooperative augmented reality systems

UR - https://digitalcommons.georgiasouthern.edu/compsci-facpubs/158

UR - http://felixlup.net/papers/2006_PNWM_Hamza-Lup.pdf

M3 - Chapter

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

ER -

An Automata-Based Formalism for Cooperative Augmented Reality Systems

Abstract

Keywords

DC Disciplines

Access to Document

Other files and links

Fingerprint

Cite this