Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
Name
Rus_incremental_syn.pdf
Size
573.14 KB
Format
Adobe PDF
Checksum (MD5)
c32b1a56919b7212696021fd456c4dc4
Author(s)
Wongpiromsarn, Tichakorn
Ulusoy, Alphan
Belta, Calin
Frazzoli, Emilio
Rus, Daniela L.
Date Issued
May 2013
Journal
Proceedings of the 2013 IEEE International Conference on Robotics and Automation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Wongpiromsarn, Tichakorn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, and Daniela Rus. “Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems with Linear Temporal Logic Specifications.” 2013 IEEE International Conference on Robotics and Automation (May 2013).
Version
Author's final manuscript
Abstract
We consider automatic synthesis of control policies for non-independent, heterogeneous multi-agent systems with the objective of maximizing the probability of satisfying a given specification. The specification is expressed as a formula in linear temporal logic. The agents are modeled by Markov decision processes with a common set of actions. These actions, however, may or may not affect the behaviors of all the agents. To alleviate the well-known state explosion problem, an incremental approach is proposed where only a small subset of agents is incorporated in the synthesis procedure initially and more agents are successively added until the limitations on computational resources are reached. The proposed algorithm runs in an anytime fashion, where the probability of satisfying the specification increases as the algorithm progresses.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Massachusetts Institute of Technology. School of Engineering
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/ICRA.2013.6631293
