Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
Original manuscript March 6, 2012
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2013
|
| Online Access: | http://hdl.handle.net/1721.1/81775 https://orcid.org/0000-0002-0505-1400 |
| _version_ | 1811091286027927552 |
|---|---|
| author | Wongpiromsarn, Tichakorn Frazzoli, Emilio |
| author2 | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics |
| author_facet | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics Wongpiromsarn, Tichakorn Frazzoli, Emilio |
| author_sort | Wongpiromsarn, Tichakorn |
| collection | MIT |
| description | Original manuscript March 6, 2012 |
| first_indexed | 2024-09-23T15:00:04Z |
| format | Article |
| id | mit-1721.1/81775 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T15:00:04Z |
| publishDate | 2013 |
| publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| record_format | dspace |
| spelling | mit-1721.1/817752022-10-01T23:52:33Z Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications Wongpiromsarn, Tichakorn Frazzoli, Emilio Massachusetts Institute of Technology. Department of Aeronautics and Astronautics Frazzoli, Emilio Original manuscript March 6, 2012 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. Singapore-MIT Alliance for Research and Technology Center National Science Foundation (U.S.) (Grant CNS-1016213) 2013-10-25T14:44:30Z 2013-10-25T14:44:30Z 2012-12 Article http://purl.org/eprint/type/ConferencePaper 978-1-4673-2066-5 978-1-4673-2065-8 978-1-4673-2063-4 978-1-4673-2064-1 http://hdl.handle.net/1721.1/81775 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. https://orcid.org/0000-0002-0505-1400 en_US http://dx.doi.org/10.1109/CDC.2012.6426524 Proceedings of the 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) arXiv |
| spellingShingle | Wongpiromsarn, Tichakorn Frazzoli, Emilio Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications |
| title | Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications |
| title_full | Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications |
| title_fullStr | Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications |
| title_full_unstemmed | Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications |
| title_short | Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications |
| title_sort | control of probabilistic systems under dynamic partially known environments with temporal logic specifications |
| url | http://hdl.handle.net/1721.1/81775 https://orcid.org/0000-0002-0505-1400 |
| work_keys_str_mv | AT wongpiromsarntichakorn controlofprobabilisticsystemsunderdynamicpartiallyknownenvironmentswithtemporallogicspecifications AT frazzoliemilio controlofprobabilisticsystemsunderdynamicpartiallyknownenvironmentswithtemporallogicspecifications |