Cyber detectives: Determining when robots or people misbehave

Jingjin Yu; Steven M. LaValle

doi:10.1007/978-3-642-17452-0_23

Cyber detectives: Determining when robots or people misbehave

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

Abstract

This paper introduces a problem of validating the claimed behavior of an autonomous agent (human or robot) in an indoor environment containing one or more agents, against the observation history from a sparse network of simple, stationary sensors deployed in the same environment. Following principles of dynamic programming, we partition the decision problem into incremental search over a sequence of connectivity subgraphs induced by sensor recordings, which yields efficient algorithms for both single and multiple agent cases. In addition to immediate applicability towards security and forensics problems, the idea of behavior validation using external sensors complements design time model verification.

Original language	English (US)
Title of host publication	Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics
Pages	391-407
Number of pages	17
Edition	STAR
DOIs	https://doi.org/10.1007/978-3-642-17452-0_23
State	Published - 2010
Event	9th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2010 - Singapore, Singapore Duration: Dec 13 2010 → Dec 15 2010

Publication series

Name	Springer Tracts in Advanced Robotics
Number	STAR
Volume	68
ISSN (Print)	1610-7438
ISSN (Electronic)	1610-742X

Other

Other	9th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2010
Country/Territory	Singapore
City	Singapore
Period	12/13/10 → 12/15/10

ASJC Scopus subject areas

Electrical and Electronic Engineering
Artificial Intelligence

Online availability

10.1007/978-3-642-17452-0_23

Library availability

Discover UIUC Full Text

Cite this

Yu, J., & LaValle, S. M. (2010). Cyber detectives: Determining when robots or people misbehave. In Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics (STAR ed., pp. 391-407). (Springer Tracts in Advanced Robotics; Vol. 68, No. STAR). https://doi.org/10.1007/978-3-642-17452-0_23

Cyber detectives: Determining when robots or people misbehave. / Yu, Jingjin; LaValle, Steven M.
Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics. STAR. ed. 2010. p. 391-407 (Springer Tracts in Advanced Robotics; Vol. 68, No. STAR).

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

Yu, J & LaValle, SM 2010, Cyber detectives: Determining when robots or people misbehave. in Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics. STAR edn, Springer Tracts in Advanced Robotics, no. STAR, vol. 68, pp. 391-407, 9th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2010, Singapore, Singapore, 12/13/10. https://doi.org/10.1007/978-3-642-17452-0_23

@inproceedings{16e76ca987824dcba61a3528726f567b,

title = "Cyber detectives: Determining when robots or people misbehave",

abstract = "This paper introduces a problem of validating the claimed behavior of an autonomous agent (human or robot) in an indoor environment containing one or more agents, against the observation history from a sparse network of simple, stationary sensors deployed in the same environment. Following principles of dynamic programming, we partition the decision problem into incremental search over a sequence of connectivity subgraphs induced by sensor recordings, which yields efficient algorithms for both single and multiple agent cases. In addition to immediate applicability towards security and forensics problems, the idea of behavior validation using external sensors complements design time model verification.",

author = "Jingjin Yu and LaValle, {Steven M.}",

note = "Copyright: Copyright 2011 Elsevier B.V., All rights reserved.; 9th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2010 ; Conference date: 13-12-2010 Through 15-12-2010",

year = "2010",

doi = "10.1007/978-3-642-17452-0_23",

language = "English (US)",

isbn = "9783642174513",

series = "Springer Tracts in Advanced Robotics",

number = "STAR",

pages = "391--407",

booktitle = "Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics",

edition = "STAR",

}

TY - GEN

T1 - Cyber detectives

T2 - 9th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2010

AU - Yu, Jingjin

AU - LaValle, Steven M.

PY - 2010

Y1 - 2010

N2 - This paper introduces a problem of validating the claimed behavior of an autonomous agent (human or robot) in an indoor environment containing one or more agents, against the observation history from a sparse network of simple, stationary sensors deployed in the same environment. Following principles of dynamic programming, we partition the decision problem into incremental search over a sequence of connectivity subgraphs induced by sensor recordings, which yields efficient algorithms for both single and multiple agent cases. In addition to immediate applicability towards security and forensics problems, the idea of behavior validation using external sensors complements design time model verification.

AB - This paper introduces a problem of validating the claimed behavior of an autonomous agent (human or robot) in an indoor environment containing one or more agents, against the observation history from a sparse network of simple, stationary sensors deployed in the same environment. Following principles of dynamic programming, we partition the decision problem into incremental search over a sequence of connectivity subgraphs induced by sensor recordings, which yields efficient algorithms for both single and multiple agent cases. In addition to immediate applicability towards security and forensics problems, the idea of behavior validation using external sensors complements design time model verification.

UR - http://www.scopus.com/inward/record.url?scp=78650153675&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650153675&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-17452-0_23

DO - 10.1007/978-3-642-17452-0_23

M3 - Conference contribution

AN - SCOPUS:78650153675

SN - 9783642174513

T3 - Springer Tracts in Advanced Robotics

SP - 391

EP - 407

BT - Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics

Y2 - 13 December 2010 through 15 December 2010

ER -

Cyber detectives: Determining when robots or people misbehave

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this