Skip to main content

1 Result(s)

within Conference Paper Remove this filter Junan Li Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Formal Modeling and Safety Verification for Mode Logic Requirements of Flight Guidance Control System

    The Flight Guidance Control System (FGCS), one of the important parts of automatic flight control system, has many different kinds of automatic flight modes, and the mode transition logic become more and more ...

    Junan Li, Jun Hu, Lisong Wang, **n Cai in Advances in Guidance, Navigation and Control (2023)