Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

被引:0
|
作者
Chen, Yushan [1 ]
Ding, Xu Chu [2 ]
Belta, Calin [2 ]
机构
[1] Boston Univ, Dept Elect & Comp Engn, Boston, MA 02215 USA
[2] Boston Univ, Dept Mech Engn, Boston, MA 02215 USA
来源
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC) | 2011年
关键词
ABSTRACTIONS;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We introduce a technique for synthesis of control and communication strategies for a team of agents from a global task specification given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied by the agents. We consider a purely discrete scenario, in which the dynamics of each agent is modeled as a finite transition system. The proposed computational framework consists of two main steps. First, we extend results from concurrency theory to check whether the specification is distributable among the agents. Second, we generate individual control and communication strategies by using ideas from LTL model checking. We apply the method to automatically deploy a team of miniature cars in our Robotic Urban-Like Environment.
引用
收藏
页码:2718 / 2723
页数:6
相关论文
共 50 条
  • [1] On the Need for Communication in Distributed Implementations of LTL Motion Specifications
    Kloetzer, M.
    Itani, S.
    Birch, S.
    Belta, C.
    2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2010, : 4451 - 4456
  • [2] Multi-robot Deployment From LTL Specifications with Reduced Communication
    Kloetzer, Marius
    Ding, Xu Chu
    Belta, Calin
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 4867 - 4872
  • [3] Synthesis of Output Feedback Control for Motion Planning Based on LTL Specifications
    Wu, Min
    Yan, Gangfeng
    Lin, Zhiyun
    Lan, Ying
    2009 IEEE-RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, 2009, : 5071 - 5075
  • [4] A Probabilistic Approach for Control of a Stochastic System from LTL Specifications
    Lahijanian, M.
    Andersson, S. B.
    Belta, C.
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 2236 - 2241
  • [5] Synthesis from LTL Specifications with Mean-Payoff Objectives
    Bohy, Aaron
    Bruyere, Veronique
    Filiot, Emmanuel
    Raskin, Jean-Francois
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 169 - 184
  • [6] Distributed Path Planning of Mobile Robots with LTL Specifications
    Hustiu, Ioana
    Kloetzer, Marius
    Mahulea, Cristian
    2020 24TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2020, : 60 - 65
  • [7] From global specifications to distributed implementations
    Mukund, M
    SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS, 2002, : 19 - 35
  • [8] Decentralized Runtime Verification of LTL Specifications in Distributed Systems
    Mostafa, Menna
    Bonakdarpour, Borzoo
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2015, : 494 - 503
  • [9] Finite State Control of POMDPs with LTL Specifications
    Sharan, Rangoli
    Burdick, Joel
    2014 AMERICAN CONTROL CONFERENCE (ACC), 2014, : 501 - 508
  • [10] A fully automated framework for control of linear systems from LTL specifications
    Kloetzer, Marius
    Belta, Calin
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 333 - 347