Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
复制标题
无 2-LTL 规范稳定性假设的连续时间非确定性系统的符号自触发控制
DOI：
10.1109/icarcv50220.2020.9305387
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Pruekprasert Sasinee
中科院分区：
文献类型：
--
作者：
森山卓;Pruekprasert Sasinee
针对不确定连续时间非线性系统，提出了一种不带稳定性假设的符号自触发控制器综合方法。目标是计算一个满足两个目标的控制器。第一个目标表示为LTL片段中的规范，我们称之为2-LTL。第二个是能源目标，也就是说控制输入只在必要时发出，这样可以节省能源。为此，我们首先量化状态和输入空间，然后将控制器综合问题转化为平均收益奇偶对策中获胜策略的计算。最后以非完整机器人为例说明了该方法的可行性。
We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a controller that satisfies two objectives. The first objective is represented as a specification in a fragment of LTL, which we call 2-LTL. The second one is an energy objective, in the sense that control inputs are issued only when necessary, which saves energy. To this end, we first quantise the state and input spaces, and then translate the controller synthesis problem to the computation of a winning strategy in a mean-payoff parity game. We illustrate the feasibility of our method on the example of a navigating nonholonomic robot.
登录
查看更多内容
DOI：
10.1109/cdc.2018.8619193
发表时间：
2018-12
期刊：
2018 IEEE Conference on Decision and Control (CDC)
影响因子：
--
作者：
Yiding Ji;Xiang Yin;S. Lafortune
通讯作者：
Yiding Ji;Xiang Yin;S. Lafortune
增量稳定切换系统中由于切换延迟导致的边界误差（扩展版本）
DOI：
10.1016/j.ifacol.2018.08.042
发表时间：
2017
期刊：
IFAC Conference on Analysis and Design of Hybrid Systems
影响因子：
--
作者：
Kengo Kido;Sean Sedwards;I. Hasuo
通讯作者：
I. Hasuo
影响因子：
0.6
作者：
Michael Luttenberger;Philipp J. Meyer;Salomon Sickert
通讯作者：
Michael Luttenberger;Philipp J. Meyer;Salomon Sickert
时序逻辑规范下的能量感知网络控制系统
DOI：
10.1109/cdc.2018.8618893
发表时间：
2018
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
Kazumune Hashimoto;S. Adachi;Dimos V. Dimarogonas
通讯作者：
Dimos V. Dimarogonas
定量到达避免问题的记忆有效符号解决方案
DOI：
10.23919/acc.2019.8814850
发表时间：
2019
期刊：
2019 American Control Conference (ACC)
影响因子：
--
作者：
E. Macoveiciuc;G. Reissig
通讯作者：
G. Reissig