4.7 Article

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

期刊

AUTOMATICA
卷 130, 期 -, 页码 -

出版社

PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2021.109723

关键词

Control synthesis; Computational issues; Controller constraints and structure; Abstraction; LTL specification

资金

  1. Swedish Research Council [2016-00529, 201606204]
  2. US NSF [CNS-1738103]
  3. NASA's Space Technology Research Grants Program, USA
  4. Swedish Research Council [2016-00529] Funding Source: Swedish Research Council
  5. Forte [2016-00529] Funding Source: Forte

向作者/读者索取更多资源

This paper proposes a method for synthesising controllers for systems with possibly infinite number of states, satisfying a specification given as an LTL\degrees. formula. By using divergent stutter bisimulation to abstract the state space, a faster but coarser abstraction can be obtained, at the expense of not preserving the temporal “next” operator.
This paper proposes a method to synthesise controllers for systems with possibly infinite number of states that satisfy a specification given as an LTL\degrees. formula. A common approach to handle this problem is to first compute a finite-state abstraction of the original state space and then synthesise a controller for the abstraction. This paper proposes to use an abstraction method called divergent stutter bisimulation to abstract the state space of the system. As divergent stutter bisimulation factors out stuttering steps, it typically results in a coarser and therefore smaller abstraction, at the expense of not preserving the temporal next'' operator. The paper leverages results about divergent stutter bisimulation from model checking and shows that divergent stutter bisimulation is a sound and complete abstraction method when synthesising controllers subject to specifications in LTL\degrees. (C) 2021 The Author(s). Published by Elsevier Ltd.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.7
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据