Litcius/Paper detail

Robust Temporal Logic Motion Control via Disturbance Observers

Chengqian Zhou, Jun Yang, Shihua Li, Wen‐Hua Chen

2022IEEE Transactions on Industrial Electronics18 citationsDOIOpen Access PDF

Abstract

The existing motion control systems are largely concerning given reference tracking or stabilization. High-level of autonomy within robotics and autonomous systems demands new motion control methods to realize more complex goals rather than given references, while maintain involved safety conditions. This article tackles the robust temporal logic motion control problem for a class of disturbed systems. A disturbance observer (DOB) is used for unmatched disturbance estimation, and signal temporal logic (STL) formulas are introduced to express complex sequential tasks. For atomic temporal logic formulas, in order to maximize its robust semantics, a continuous feedback composite controller is constructed by utilizing the transient characteristics of the prescribed performance function and the DOB. We then present a suitable switched control strategy to guarantee the satisfaction of STL specifications consisting of conjunctions of the atomic temporal logic formulas. When the given STL formula is satisfied, the system robustness specified by the user meets the temporal logic specifications. Experimental results are illustrated to verify the effectiveness of the proposed method.

Topics & Concepts

Temporal logicRobustness (evolution)Control theory (sociology)Motion controlControl engineeringComputer scienceLinear temporal logicTemporal logic of actionsRoboticsRobust controlControl systemArtificial intelligenceControl logicComputation tree logicRobotInterval temporal logicControl (management)EngineeringAlgorithmTheoretical computer scienceBiochemistryElectrical engineeringChemistryGeneFormal Methods in VerificationRobotic Path Planning AlgorithmsAdaptive Control of Nonlinear Systems
Robust Temporal Logic Motion Control via Disturbance Observers | Litcius