Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications

Details Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications

2012-03-06

arxiv.org/abs/1203.1177v1

Computer Science

Logic in Computer Science

Scientific paper

We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifications. The environment is modeled by a set of Markov chains. Each Markov chain describes the behavior of the environment in each mode. The mode of the environment, however, is not known to the system. Two control objectives are considered: maximizing the expected probability and maximizing the worst-case probability that the system satisfies a given specification.

Affiliated with

Also associated with

No associations

Rating

Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications 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 Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-537200