Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
Name
Frazzoli_Control of probabilistic.pdf
Size
718.43 KB
Format
Adobe PDF
Checksum (MD5)
5e339d274cabe99937bca9bee5f644bd
Author(s)
Wongpiromsarn, Tichakorn
Frazzoli, Emilio
Date Issued
December 2012
Journal
Proceedings of the 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Wongpiromsarn, Tichakorn, and Emilio Frazzoli. “Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications.” In 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7644-7651. Institute of Electrical and Electronics Engineers, 2012.
Version
Original manuscript
Abstract
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.
Description
Original manuscript March 6, 2012
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike 3.0
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/CDC.2012.6426524
