Probabilistically Safe Vehicle Control in a Hostile Environment

Details Probabilistically Safe Vehicle Control in a Hostile Environment Probabilistically Safe Vehicle Control in a Hostile Environment

2011-03-21

arxiv.org/abs/1103.4065v2

Computer Science

Systems and Control

Scientific paper

In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission objective expressed as a temporal logic specification over a set of properties satisfied at regions of a partitioned environment. We model the movements of adversaries in between regions of the environment as Poisson processes. Furthermore, we assume that the time it takes for the vehicle to traverse in between two facets of each region is exponentially distributed, and we obtain the rate of this exponential distribution from a simulator of the environment. We capture the motion of the vehicle and the vehicle updates of adversaries distributions as a Markov Decision Process. Using tools in Probabilistic Computational Tree Logic, we find a control strategy for the vehicle that maximizes the probability of accomplishing the mission objective. We demonstrate our approach with illustrative case studies.

Affiliated with

Also associated with

No associations

Rating

Probabilistically Safe Vehicle Control in a Hostile Environment 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 Probabilistically Safe Vehicle Control in a Hostile Environment, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Probabilistically Safe Vehicle Control in a Hostile Environment will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-323643