Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic
Temporal logic can ensure the accurate description and execution of task specifications by providing a rich specification language. This paper uses relevant robust semantics to consider continuous-time systems under signal temporal logic specification fragments and uses a funnel-based feedback contr...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Office of Control and Information Technology
2022-12-01
|
| Series: | Kongzhi Yu Xinxi Jishu |
| Subjects: | |
| Online Access: | http://ctet.csrzic.com/thesisDetails#10.13889/j.issn.2096-5427.2022.06.400 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849224933739069440 |
|---|---|
| author | TIAN Chang ZHU Huajie YANG Yan SHI Zhongjiao LIU Zhijie |
| author_facet | TIAN Chang ZHU Huajie YANG Yan SHI Zhongjiao LIU Zhijie |
| author_sort | TIAN Chang |
| collection | DOAJ |
| description | Temporal logic can ensure the accurate description and execution of task specifications by providing a rich specification language. This paper uses relevant robust semantics to consider continuous-time systems under signal temporal logic specification fragments and uses a funnel-based feedback control law to realize collaborative design of path planning and control of wheeled mobile robot. This design not only introduces a strict and effective formal verification method, but also provides a computationally-efficient funnel-based feedback control law. Firstly, it describes the mission by signal temporal logic. Then, it transforms the description into robust formula. Finally, using the funnel-based feedback control law, it makes the robust semantics of the robust formula maximum to realize the collaborative design of path planning and control. Simulation is based on the wheeled mobile robot kinematics model, and the results show that the collaborative design method proposed in this paper is effective. When the specification is physically met, the system can achieve the goal with user-defined robustness. When the specification is not satisfied, the minimum violation solution can be found. The proposed path planning and funnel control algorithm can realize the collaborative design of the path planning and control of the wheeled mobile robot, which effectively improve computing efficiency and simplify computational complexity. The study can expand the application range of signal temporal logic in mobile robot path planning, and increase the system robustness. |
| format | Article |
| id | doaj-art-28aca80d2bbc4f7a8e8b7234f38c77a2 |
| institution | Kabale University |
| issn | 2096-5427 |
| language | zho |
| publishDate | 2022-12-01 |
| publisher | Editorial Office of Control and Information Technology |
| record_format | Article |
| series | Kongzhi Yu Xinxi Jishu |
| spelling | doaj-art-28aca80d2bbc4f7a8e8b7234f38c77a22025-08-25T06:47:55ZzhoEditorial Office of Control and Information TechnologyKongzhi Yu Xinxi Jishu2096-54272022-12-01505532482205Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal LogicTIAN ChangZHU HuajieYANG YanSHI ZhongjiaoLIU ZhijieTemporal logic can ensure the accurate description and execution of task specifications by providing a rich specification language. This paper uses relevant robust semantics to consider continuous-time systems under signal temporal logic specification fragments and uses a funnel-based feedback control law to realize collaborative design of path planning and control of wheeled mobile robot. This design not only introduces a strict and effective formal verification method, but also provides a computationally-efficient funnel-based feedback control law. Firstly, it describes the mission by signal temporal logic. Then, it transforms the description into robust formula. Finally, using the funnel-based feedback control law, it makes the robust semantics of the robust formula maximum to realize the collaborative design of path planning and control. Simulation is based on the wheeled mobile robot kinematics model, and the results show that the collaborative design method proposed in this paper is effective. When the specification is physically met, the system can achieve the goal with user-defined robustness. When the specification is not satisfied, the minimum violation solution can be found. The proposed path planning and funnel control algorithm can realize the collaborative design of the path planning and control of the wheeled mobile robot, which effectively improve computing efficiency and simplify computational complexity. The study can expand the application range of signal temporal logic in mobile robot path planning, and increase the system robustness.http://ctet.csrzic.com/thesisDetails#10.13889/j.issn.2096-5427.2022.06.400signal temporal logicfunnel controlwheeled mobile robotpath planningcollaborative design |
| spellingShingle | TIAN Chang ZHU Huajie YANG Yan SHI Zhongjiao LIU Zhijie Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic Kongzhi Yu Xinxi Jishu signal temporal logic funnel control wheeled mobile robot path planning collaborative design |
| title | Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic |
| title_full | Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic |
| title_fullStr | Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic |
| title_full_unstemmed | Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic |
| title_short | Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic |
| title_sort | path planning and funnel control for wheeled mobile robot based on signal temporal logic |
| topic | signal temporal logic funnel control wheeled mobile robot path planning collaborative design |
| url | http://ctet.csrzic.com/thesisDetails#10.13889/j.issn.2096-5427.2022.06.400 |
| work_keys_str_mv | AT tianchang pathplanningandfunnelcontrolforwheeledmobilerobotbasedonsignaltemporallogic AT zhuhuajie pathplanningandfunnelcontrolforwheeledmobilerobotbasedonsignaltemporallogic AT yangyan pathplanningandfunnelcontrolforwheeledmobilerobotbasedonsignaltemporallogic AT shizhongjiao pathplanningandfunnelcontrolforwheeledmobilerobotbasedonsignaltemporallogic AT liuzhijie pathplanningandfunnelcontrolforwheeledmobilerobotbasedonsignaltemporallogic |