Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach

Rathina Kumar V^*, Nanda M and Jayanthi J

Department of Aerospace and Mechanical Engineering, Electronics and System Division, CSIR-National Aerospace Laboratories, Bangalore, India

^*Corresponding Author: Rathina Kumar V, Department of Aerospace and Mechanical Engineering, Electronics and System Division, CSIR-National Aerospace Laboratories, Bangalore, India, Tel: +91-80 25086019/20 Email: