TY - JOUR
T1 - Altitude Control Design of LSU-05 Aircraft Using Abstraction Method
AU - Afif Nasrul Anam, Muhammad
AU - Adzkiya, Dieky
AU - Asfihani, Tahiyatul
N1 - Publisher Copyright:
© Published under licence by IOP Publishing Ltd.
PY - 2019/5/31
Y1 - 2019/5/31
N2 - LAPAN Surveilance-05 (LSU-05) is a fixed wing type aircraft developed by LAPAN. This aircraft can be used for monitoring and mapping a very wide range of areas. In carrying out operational missions, the aircraft requires reliable control of autopilot to control flying altitudes, thus facilitating and able to support the mission and for aircraft safety. In the design of the control, we apply the abstraction method using software Pessoa. The design of the control with abstraction aims to design the control such that the closed loop system behavior satisfies the specifications in the form of simple temporal logic. In the experiments, we conduct two scenarios. For each scenario, we use different specification and different abstraction parameter.
AB - LAPAN Surveilance-05 (LSU-05) is a fixed wing type aircraft developed by LAPAN. This aircraft can be used for monitoring and mapping a very wide range of areas. In carrying out operational missions, the aircraft requires reliable control of autopilot to control flying altitudes, thus facilitating and able to support the mission and for aircraft safety. In the design of the control, we apply the abstraction method using software Pessoa. The design of the control with abstraction aims to design the control such that the closed loop system behavior satisfies the specifications in the form of simple temporal logic. In the experiments, we conduct two scenarios. For each scenario, we use different specification and different abstraction parameter.
UR - http://www.scopus.com/inward/record.url?scp=85067786408&partnerID=8YFLogxK
U2 - 10.1088/1742-6596/1218/1/012027
DO - 10.1088/1742-6596/1218/1/012027
M3 - Conference article
AN - SCOPUS:85067786408
SN - 1742-6588
VL - 1218
JO - Journal of Physics: Conference Series
JF - Journal of Physics: Conference Series
IS - 1
M1 - 012027
T2 - 3rd International Conference on Mathematics; Pure, Applied and Computation, ICoMPAC 2018
Y2 - 20 October 2018
ER -