Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation

Journal of Aerospace Information Systems ◽

10.2514/1.i010096 ◽

2014 ◽

Vol 11 (5) ◽

pp. 258-279 ◽

Cited By ~ 19

Author(s):

Matt Webster ◽

Neil Cameron ◽

Michael Fisher ◽

Mike Jump

Keyword(s):

Model Checking ◽

Unmanned Aircraft

Download Full-text

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

Infotech@Aerospace 2012 ◽

10.2514/6.2012-2573 ◽

2012 ◽

Cited By ~ 10

Author(s):

Matt Webster ◽

Neil Cameron ◽

Michael Jump ◽

Michael Fisher

Keyword(s):

Model Checking ◽

Formal Model ◽

Unmanned Aircraft

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Cited By ~ 2

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Graph Grammars

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

A Study on the Analysis and Implication of the Chinese Regulation related to the Unmanned Aircraft(Drone)

Kyung Hee Law Journal ◽

10.15539/khlj.52.3.7 ◽

2017 ◽

Vol 52 (3) ◽

pp. 233-278 ◽

Cited By ~ 1

Author(s):

Ji-Hoon Kim

Keyword(s):

Unmanned Aircraft

Download Full-text

Unmanned aircraft systems in recreational activities: legal regulation in western countries and ukrainian perspectives

Collection of Scientific Publications NUS ◽

10.15589/jnn20160416 ◽

2017 ◽

Vol 0 (4) ◽

Author(s):

Yevhen O. Yatsunskyi

Keyword(s):

Legal Regulation ◽

Unmanned Aircraft ◽

Unmanned Aircraft Systems ◽

Recreational Activities ◽

Western Countries ◽

Aircraft Systems

Download Full-text

FLIGHT SAFETY OF UNMANNED AIRCRAFT SYSTEMS IN NON-SEGREGATED AIRSPACE

TsAGI Science Journal ◽

10.1615/tsagiscij.2012004692 ◽

2011 ◽

Vol 42 (6) ◽

pp. 801-815 ◽

Cited By ~ 1

Author(s):

Boris Sergeevich Alyoshin ◽

Valeriy Leonidovich Sukhanov ◽

Vladimir Mikhaylovich Shibaev

Keyword(s):

Unmanned Aircraft ◽

Unmanned Aircraft Systems ◽

Flight Safety ◽

Aircraft Systems

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Model Checking

Download Full-text

Propane powered engine for long duration unmanned aircraft

10.2514/6.1984-1431 ◽

1984 ◽

Author(s):

J. BORETZ

Keyword(s):

Unmanned Aircraft ◽

Long Duration

Download Full-text

Linear-quadratic-Gaussian with loop-transfer recovery methodology for an unmanned aircraft

10.2514/6.1985-1927 ◽

1985 ◽

Author(s):

D. RIDGELY ◽

SIVA BANDA ◽

TIMOTHY MCQUADE ◽

P. LYNCH

Keyword(s):

Unmanned Aircraft ◽

Linear Quadratic ◽

Linear Quadratic Gaussian ◽

Loop Transfer Recovery

Download Full-text