Time-Constrained Temporal Logic Control of Multi-Affine Systems

Details Time-Constrained Temporal Logic Control of Multi-Affine Systems Time-Constrained Temporal Logic Control of Multi-Affine Systems

2012-03-26

arxiv.org/abs/1203.5683v1

Computer Science

Systems and Control

Scientific paper

In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on the estimation of time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.

Affiliated with

Also associated with

No associations

Rating

Time-Constrained Temporal Logic Control of Multi-Affine Systems 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 Time-Constrained Temporal Logic Control of Multi-Affine Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Time-Constrained Temporal Logic Control of Multi-Affine Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-642371