Petri net controller synthesis for Advanced Surface Movement Guidance and Control System

With the increasing number of flights, the confliction troubles and runway incursions arise, especially in the large airports. To guarantee safety of surface movements, it is necessary to develop Advanced Surface Movement Guidance and Control System (A-SMGCS). This paper focuses on the controller synthesis of A-SMGCS based on discrete event supervisory control theory. During the controller designing process, controlled movements model based on Petri net is proposed, the confliction avoidance problem existing in airport movements is transformed into the state forbidden problem of controlled Petri net. To achieve the forbidden state avoidance and keep the maximum freedom for movement objects, the control problems are sorted into single-object and multi-objects constraint controlling by constraint forms. Complementary place technique and fusion technique are adopted into the two scenarios respectively. The result of simulation indicates that controller designed can detect the potential confliction efficiently and increase the capacity of airport considerably.