Receding horizon control for temporal logic specifications

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 ◽

10.1145/1755952.1755968 ◽

2010 ◽

Author(s):

Tichakorn Wongpiromsarn ◽

Ufuk Topcu ◽

Richard M. Murray

Keyword(s):

Temporal Logic ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

Optimal receding horizon control for finite deterministic systems with temporal logic constraints

2013 American Control Conference ◽

10.1109/acc.2013.6580517 ◽

2013 ◽

Author(s):

Maria Svorenova ◽

Ivana Cerna ◽

Calin Belta

Keyword(s):

Temporal Logic ◽

Receding Horizon Control ◽

Receding Horizon ◽

Deterministic Systems

Download Full-text

Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications

Robotics: Science and Systems IX ◽

10.15607/rss.2013.ix.013 ◽

2013 ◽

Author(s):

Alphan Ulusoy ◽

Michael Marrazzo ◽

Calin Belta

Keyword(s):

Temporal Logic ◽

Dynamic Environments ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

Distributed Receding Horizon Control for Multi-agent Systems with Conflicting Siganl Temporal Logic Tasks

2020 2nd International Conference on Industrial Artificial Intelligence (IAI) ◽

10.1109/iai50351.2020.9262171 ◽

2020 ◽

Author(s):

Xiaoyi Zhou ◽

Yuanyuan Zou ◽

Shaoyuan Li ◽

Hao Fang

Keyword(s):

Temporal Logic ◽

Receding Horizon Control ◽

Multi Agent Systems ◽

Receding Horizon ◽

Agent Systems ◽

Download Full-text

Ascent Guidance for Launch Vehicle Based on Receding Horizon Control

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9188647 ◽

2020 ◽

Author(s):

Qianwei He ◽

Ye Yang ◽

Lei Liu ◽

Zhongtao Cheng

Keyword(s):

Launch Vehicle ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

Receding horizon control for nonlinear systems via Bolza-type optimization

1997 European Control Conference (ECC) ◽

10.23919/ecc.1997.7082429 ◽

1997 ◽

Author(s):

E. Gyurkovics

Keyword(s):

Nonlinear Systems ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

Stabilization of nonlinear time-varying systems via receding-horizon control

1997 European Control Conference (ECC) ◽

10.23919/ecc.1997.7082091 ◽

1997 ◽

Author(s):

G. De Nicoiao ◽

L. Magni ◽

R. Scattolini

Keyword(s):

Receding Horizon Control ◽

Time Varying ◽

Receding Horizon ◽

Time Varying Systems

Download Full-text

Visual Servoing of a Redundant Underwater Vehicle-Manipulator System Using Receding Horizon Control

OCEANS 2019 - Marseille ◽

10.1109/oceanse.2019.8866879 ◽

2019 ◽

Author(s):

Xiaomin Liang ◽

Jian Gao ◽

Xinyuan Zhao ◽

Guang Pan

Keyword(s):

Visual Servoing ◽

Underwater Vehicle ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

Obstacle avoidance for passive robot walking helper based on receding horizon control

2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ◽

10.1109/smc.2016.7844297 ◽

2016 ◽

Author(s):

Yi-Hung Hsieh ◽

Chun-Hsu Ko ◽

Kuu-Young Young

Keyword(s):

Obstacle Avoidance ◽

Receding Horizon Control ◽

Receding Horizon

Download Full-text

RNN for Receding Horizon Control of Redundant Robot Manipulators

IEEE Transactions on Industrial Electronics ◽

10.1109/tie.2021.3062257 ◽

2021 ◽

pp. 1-1

Author(s):

Jingkun Yan ◽

Long Jin ◽

Zhanting Yuan ◽

Zhiyi Liu

Keyword(s):

Robot Manipulators ◽

Receding Horizon Control ◽

Receding Horizon ◽

Redundant Robot

Download Full-text

Preconditioned C/GMRES algorithm for nonlinear receding horizon control of hovercrafts connected by a string

Proceedings of the 2004 IEEE International Conference on Control Applications, 2004. ◽

10.1109/cca.2004.1387606 ◽

2005 ◽

Author(s):

T. Tanida ◽

T. Ohtsuka

Keyword(s):

Receding Horizon Control ◽

Receding Horizon ◽

Gmres Algorithm ◽

Nonlinear Receding Horizon Control

Download Full-text