A robust non-linear MPC framework for control of underwater vehicle manipulator systems under high-level tasks
| العنوان: | A robust non-linear MPC framework for control of underwater vehicle manipulator systems under high-level tasks |
|---|---|
| المؤلفون: | Nikou, Alexandros, Verginis, Christos, Heshmati Alamdari, Shahabodin, Dimarogonas, Dimos V. |
| المصدر: | IET Control Theory & Applications. 15(3):323-337 |
| مصطلحات موضوعية: | Autonomous underwater vehicles, Controllers, Feedback control, Industrial manipulators, Model predictive control, Predictive control systems, Robust control, Temporal logic, Underwater equipment, Complicated structures, Development and controls, External disturbances, Linear temporal logic, Nonlinear model predictive control, Of autonomous underwater vehicles, State and input constraints, Underwater vehicle manipulator systems, Manipulators |
| الوصف: | Over the last years, the development and control of Autonomous Underwater Vehicles with attached robotic manipulators, also called Underwater Vehicle Manipulator System (UVMS), has gained significant research attention. In such applications, feedback controllers which guarantee that the end-effector of the UVMS is fulfilling desired complex tasks should be designed in a way that state and input constraints are taken into consideration. Furthermore, due to their complicated structure, unmodeled dynamics as well as external disturbances may arise. Complex tasks can be conveniently given in the so-called Linear Temporal Logic (LTL). Motivated by this, the authors develop a combined abstraction and control synthesis framework in which, given the uncertain kinematics/dynamics of the UVMS, a workspace divided into Regions of Interest and a desired LTL task, a sequence of feedback control laws that probably guarantee the LTL formula is provided. The proposed controller falls within the tube-based non-linear model predictive control methodology and can handle the rich expressivity of LTL in both safety and reachability specifications. Numerical simulations verify the validity of the proposed framework. |
| وصف الملف: | |
| الوصول الحر: | https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-309642Test https://doi.org/10.1049/cth2.12045Test |
| قاعدة البيانات: | SwePub |
| تدمد: | 17518644 17518652 |
|---|---|
| DOI: | 10.1049/cth2.12045 |