论文信息 - Timely Flare Initiation during Automatic Landing – A Model Checking Application Example - 字舞流文

Timely Flare Initiation during Automatic Landing – A Model Checking Application Example

Florian Holzapfel | Martin E. Kügler | Julian Rhein

[1] Florian Holzapfel,et al. Automatic Take-off and Landing on the Maiden Flight of a Novel Fixed-Wing UAV , 2018 .

[2] Florian Holzapfel,et al. Developing Automated Contingency Procedures for the ATOL System of a Fixed-Wing UAV through Online FDD , 2016 .

[3] Tim Kelly,et al. Model-based safety assessment: Review of the discipline and its challenges , 2011, The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety.

[4] Florian Holzapfel,et al. Autoland for a novel UAV as a state-machine-based extension to a modular automatic flight guidance and control system , 2017, 2017 American Control Conference (ACC).

[5] Florian Holzapfel,et al. Configuration assessment and preliminary control law design for a novel diamond-shaped UAV , 2014, 2014 International Conference on Unmanned Aircraft Systems (ICUAS).

[6] Michael Nowak,et al. Toward Efficient Model-Based Development of Aerospace Applications , 2015 .

[7] Robert Luckner,et al. Bridging the tool gap for model-based design from flight control function design in Simulink to software design in SCADE , 2016, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).