CaltechAUTHORS
  A Caltech Library Service

Simultaneous Model Identification and Task Satisfaction in the Presence of Temporal Logic Constraints

Chinchali, Sandeep and Livingston, Scott C. and Pavone, Marco and Burdick, Joel W. (2016) Simultaneous Model Identification and Task Satisfaction in the Presence of Temporal Logic Constraints. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCDSTR:2016.002

[img] PDF - Submitted Version
See Usage Policy.

403Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCDSTR:2016.002

Abstract

Recent proliferation of cyber-physical systems, ranging from autonomous cars to nuclear hazard inspection robots, has exposed several challenging research problems on automated fault detection and recovery. This paper considers how recently developed formal synthesis and model verification techniques may be used to automatically generate information-seeking trajectories for anomaly detection. In particular, we consider the problem of how a robot could select its actions so as to maximally disambiguate between different model hypotheses that govern the environment it operates in or its interaction with other agents whose prime motivation is a priori unknown. The identification problem is posed as selection of the most likely model from a set of candidates, where each candidate is an adversarial Markov decision process (MDP) together with a linear temporal logic (LTL) formula that constrains robot-environment interaction. An adversarial MDP is an MDP in which transitions depend on both a (controlled) robot action and an (uncontrolled) adversary action. States are labeled, thus allowing interpretation of satisfaction of LTL formulae, which have a special form admitting satisfaction decisions in bounded time. An example where a robotic car must discern whether neighboring vehicles are following its trajectory for a surveillance operation is used to demonstrate our approach.


Item Type:Report or Paper (Technical Report)
Additional Information:This work was partially supported by United Technologies Corporation and IBM, through the industrial cyberphysical systems (iCyPhy) consortium, and by NASA under the Space Technology Research Grants Program, Grant NNX12AQ43G. S.P Chinchali is supported by a Stanford Graduate Fellowship and National Science Foundation Fellowship. The authors thank Richard M. Murray for comments on an early draft.
Group:Control and Dynamical Systems Technical Reports
Funders:
Funding AgencyGrant Number
United Technologies CorporationUNSPECIFIED
IBMUNSPECIFIED
iCyPhy ConsortiumUNSPECIFIED
NASANNX12AQ43G
Stanford Graduate FellowshipUNSPECIFIED
NSF Graduate Research FellowshipUNSPECIFIED
Record Number:CaltechCDSTR:2016.002
Persistent URL:http://resolver.caltech.edu/CaltechCDSTR:2016.002
ID Code:67232
Collection:CaltechCDSTR
Deposited By: Scott Livingston
Deposited On:06 Jun 2016 19:04
Last Modified:06 Jun 2016 19:04

Repository Staff Only: item control page