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.

Original languageEnglish
Article number012027
JournalJournal of Physics: Conference Series
Issue number1
Publication statusPublished - 31 May 2019
Event3rd International Conference on Mathematics; Pure, Applied and Computation, ICoMPAC 2018 - Surabaya, Indonesia
Duration: 20 Oct 2018 → …


Dive into the research topics of 'Altitude Control Design of LSU-05 Aircraft Using Abstraction Method'. Together they form a unique fingerprint.

Cite this