期刊
2022 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
卷 -, 期 -, 页码 1269-1275出版社
IEEE
DOI: 10.1109/IROS47612.2022.9982233
关键词
-
类别
资金
- ONR PERISCOPE [N00014-17-1-2699]
We develop a method for synthesizing control policies for stochastic, linear, time-varying systems that must perform tasks specified in signal temporal logic. The method efficiently computes the probability of system satisfaction and obtains sample-efficient gradients to optimize controllers that maximize the chances of satisfying the specification. The approach is demonstrated through examples of a mobile robot and a mobile manipulator in simulation.
We develop a method for synthesizing control policies for stochastic, linear, time-varying systems that must perform tasks specified in signal temporal logic. We build upon an efficient, sampling-based framework that computes the probability of the system satisfying its specification. By exploiting the properties of linear systems and robustness score in temporal logic specifications, we obtain sample-efficient gradients of the satisfaction probability with respect to controller parameters. Therefore, by applying gradient descent we obtain locally optimized controllers that maximize the chances of satisfying the specification. We demonstrate our approach through examples of a mobile robot and a mobile manipulator in simulation.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据