A compositional approach to stochastic optimal control with co-safe temporal logic specifications

被引：0

作者：

Horowitz, Matanya B. ^{[1
]}

Wolff, Eric M. ^{[1
]}

Murray, Richard M. ^{[1
]}

机构：

[1] Department of Control and Dynamical Systems, California Institute of Technology, Pasadena,CA, United States

来源：

IEEE International Conference on Intelligent Robots and Systems | 2014年

关键词：

721.3 Computer Circuits - 731.1 Control Systems - 902.2 Codes and Standards - 921.2 Calculus - 961 Systems Science;

D O I：

6942750

中图分类号：

学科分类号：

摘要：

引用

页码：1466 / 1473