This paper presents the problem of designing the functional behaviour of the interaction between two side stick con trollers an autopilot and a ight control computer in a y by wire aircraft Two models are developed using the ISO formal description technique LOTOS and analysed us ing rigorous abstract testing techniques

This paper presents a simple unknown input estimation technique using generalized matrix inverse. The full order observer constructed by g-inverse is extended and implemented for this purpose. The necessary and sufficient condition has been introduced for existence of such an estimator. The proposed method is illustrated by numerical example (Two loop autopilot in pitch plane) and the MATLAB si...