TY - GEN
T1 - Path planning and control of a quadrotor UAV
T2 - 2017 11th Asian Control Conference, ASCC 2017
AU - Zhang, Tianze
AU - Huo, Xin
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2018/2/7
Y1 - 2018/2/7
N2 - The symbolic approach is an emerging technology for controller design of hybrid control systems, which is based on discrete abstractions i.e. symbolic models. In this paper, the problem of path planning and control of a quadrotor unmanned aerial vehicle (UAV) is investigated in the framework of symbolic approach. The design procedure is presented, and the symbolic controller is developed by utilizing the abstractions of the physical plant and the specifications, which are described by concrete temporary logics. SCOTS software is used for computation, and the effectiveness of the proposed method is illustrated by two numerical examples.
AB - The symbolic approach is an emerging technology for controller design of hybrid control systems, which is based on discrete abstractions i.e. symbolic models. In this paper, the problem of path planning and control of a quadrotor unmanned aerial vehicle (UAV) is investigated in the framework of symbolic approach. The design procedure is presented, and the symbolic controller is developed by utilizing the abstractions of the physical plant and the specifications, which are described by concrete temporary logics. SCOTS software is used for computation, and the effectiveness of the proposed method is illustrated by two numerical examples.
UR - https://www.scopus.com/pages/publications/85047451345
U2 - 10.1109/ASCC.2017.8287612
DO - 10.1109/ASCC.2017.8287612
M3 - 会议稿件
AN - SCOPUS:85047451345
T3 - 2017 Asian Control Conference, ASCC 2017
SP - 2750
EP - 2755
BT - 2017 Asian Control Conference, ASCC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 17 December 2017 through 20 December 2017
ER -