Timed virtual stationary automata for mobile networks

Shlomi Dolev; Limor Lahiani; Seth Gilbert; Nancy Lynch; Tina Nolte

Timed virtual stationary automata for mobile networks

Shlomi Dolev
, Limor Lahiani
, Seth Gilbert
, Nancy Lynch
, Tina Nolte

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We define a programming abstraction for mobile networks called the Timed Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and clients. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We sketch an algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VSA's region. We also discuss examples of applications, such as intruder detection and tracking, whose implementations benefit from the simplicity obtained through use of the VSA abstraction.

Original language	English
Title of host publication	43rd Annual Allerton Conference on Communication, Control and Computing 2005
Publisher	University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering
Pages	1717-1726
Number of pages	10
ISBN (Electronic)	9781604234916
State	Published - 1 Jan 2005
Event	43rd Annual Allerton Conference on Communication, Control and Computing 2005 - Monticello, United States Duration: 28 Sep 2005 → 30 Sep 2005

Publication series

Name	43rd Annual Allerton Conference on Communication, Control and Computing 2005
Volume	4

Conference

Conference	43rd Annual Allerton Conference on Communication, Control and Computing 2005
Country/Territory	United States
City	Monticello
Period	28/09/05 → 30/09/05

ASJC Scopus subject areas

Computer Networks and Communications
Computer Science Applications

Cite this

Dolev, S., Lahiani, L., Gilbert, S., Lynch, N., & Nolte, T. (2005). Timed virtual stationary automata for mobile networks. In 43rd Annual Allerton Conference on Communication, Control and Computing 2005 (pp. 1717-1726). (43rd Annual Allerton Conference on Communication, Control and Computing 2005; Vol. 4). University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering.

Dolev, Shlomi ; Lahiani, Limor ; Gilbert, Seth et al. / Timed virtual stationary automata for mobile networks. 43rd Annual Allerton Conference on Communication, Control and Computing 2005. University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering, 2005. pp. 1717-1726 (43rd Annual Allerton Conference on Communication, Control and Computing 2005).

@inproceedings{50fc8e71929a4240b087929ca6641d97,

title = "Timed virtual stationary automata for mobile networks",

abstract = "We define a programming abstraction for mobile networks called the Timed Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and clients. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We sketch an algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VSA's region. We also discuss examples of applications, such as intruder detection and tracking, whose implementations benefit from the simplicity obtained through use of the VSA abstraction.",

author = "Shlomi Dolev and Limor Lahiani and Seth Gilbert and Nancy Lynch and Tina Nolte",

year = "2005",

month = jan,

day = "1",

language = "English",

series = "43rd Annual Allerton Conference on Communication, Control and Computing 2005",

publisher = "University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering",

pages = "1717--1726",

booktitle = "43rd Annual Allerton Conference on Communication, Control and Computing 2005",

note = "43rd Annual Allerton Conference on Communication, Control and Computing 2005 ; Conference date: 28-09-2005 Through 30-09-2005",

}

Dolev, S, Lahiani, L, Gilbert, S, Lynch, N & Nolte, T 2005, Timed virtual stationary automata for mobile networks. in 43rd Annual Allerton Conference on Communication, Control and Computing 2005. 43rd Annual Allerton Conference on Communication, Control and Computing 2005, vol. 4, University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering, pp. 1717-1726, 43rd Annual Allerton Conference on Communication, Control and Computing 2005, Monticello, United States, 28/09/05.

Timed virtual stationary automata for mobile networks. / Dolev, Shlomi; Lahiani, Limor; Gilbert, Seth et al.
43rd Annual Allerton Conference on Communication, Control and Computing 2005. University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering, 2005. p. 1717-1726 (43rd Annual Allerton Conference on Communication, Control and Computing 2005; Vol. 4).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Timed virtual stationary automata for mobile networks

AU - Dolev, Shlomi

AU - Lahiani, Limor

AU - Gilbert, Seth

AU - Lynch, Nancy

AU - Nolte, Tina

PY - 2005/1/1

Y1 - 2005/1/1

N2 - We define a programming abstraction for mobile networks called the Timed Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and clients. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We sketch an algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VSA's region. We also discuss examples of applications, such as intruder detection and tracking, whose implementations benefit from the simplicity obtained through use of the VSA abstraction.

AB - We define a programming abstraction for mobile networks called the Timed Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and clients. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We sketch an algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VSA's region. We also discuss examples of applications, such as intruder detection and tracking, whose implementations benefit from the simplicity obtained through use of the VSA abstraction.

UR - https://www.scopus.com/pages/publications/84961928014

M3 - Conference contribution

AN - SCOPUS:84961928014

T3 - 43rd Annual Allerton Conference on Communication, Control and Computing 2005

SP - 1717

EP - 1726

BT - 43rd Annual Allerton Conference on Communication, Control and Computing 2005

PB - University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering

T2 - 43rd Annual Allerton Conference on Communication, Control and Computing 2005

Y2 - 28 September 2005 through 30 September 2005

ER -

Dolev S, Lahiani L, Gilbert S, Lynch N, Nolte T. Timed virtual stationary automata for mobile networks. In 43rd Annual Allerton Conference on Communication, Control and Computing 2005. University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering. 2005. p. 1717-1726. (43rd Annual Allerton Conference on Communication, Control and Computing 2005).

Timed virtual stationary automata for mobile networks

Abstract

Publication series

Conference

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this