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

LTL receding horizon control for finite deterministic systems

10.1016/j.automatica.2013.11.030 ◽

2014 ◽

Vol 50 (2) ◽

pp. 399-408 ◽

Author(s):

Xuchu Ding ◽

Mircea Lazar ◽

Calin Belta

Keyword(s):

Receding Horizon Control ◽

Receding Horizon ◽

Deterministic Systems

Download Full-text

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

Receding horizon temporal logic control for finite deterministic systems

2012 American Control Conference (ACC) ◽

10.1109/acc.2012.6314936 ◽

2012 ◽

Author(s):

Xu Chu Ding ◽

M. Lazar ◽

C. Belta

Keyword(s):

Temporal Logic ◽

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