Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents

Details Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents

2012-03-06

arxiv.org/abs/1203.1180v1

Computer Science

Robotics

Scientific paper

We consider the synthesis of control policies from temporal logic specifications for robots that interact with multiple dynamic environment agents. Each environment agent is modeled by a Markov chain whereas the robot is modeled by a finite transition system (in the deterministic case) or Markov decision process (in the stochastic case). Existing results in probabilistic verification are adapted to solve the synthesis problem. To partially address the state explosion issue, we propose an incremental approach where only a small subset of environment agents is incorporated in the synthesis procedure initially and more agents are successively added until we hit the constraints on computational resources. Our algorithm runs in an anytime fashion where the probability that the robot satisfies its specification increases as the algorithm progresses.

Affiliated with

Also associated with

No associations

Rating

Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-537283