Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
