2018 IEEE Conference on Control Technology and Applications (CCTA) 2018
DOI: 10.1109/ccta.2018.8511595
|View full text |Cite
|
Sign up to set email alerts
|

Formal Verification of Quadcopter Flight Envelop Using Theorem Prover

Abstract: This is a repository copy of Formal verification of quadcopter flight envelop using theorem prover.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
11
0

Year Published

2019
2019
2022
2022

Publication Types

Select...
3
2

Relationship

2
3

Authors

Journals

citations
Cited by 5 publications
(11 citation statements)
references
References 14 publications
0
11
0
Order By: Relevance
“…In this subsection, we will demonstrate the first stage of the verification framework shown in Fig. 1 using an attitude controller of a generic quadcopter UAV proposed in [31] with considering the assumptions and flight conditions made. In this proposed controller, the quadcopter's rotational dynamics are controlled using a robust nonlinear controller that takes into account the modelling uncertainty and external disturbances.…”
Section: Norm(x)mentioning
confidence: 99%
See 3 more Smart Citations
“…In this subsection, we will demonstrate the first stage of the verification framework shown in Fig. 1 using an attitude controller of a generic quadcopter UAV proposed in [31] with considering the assumptions and flight conditions made. In this proposed controller, the quadcopter's rotational dynamics are controlled using a robust nonlinear controller that takes into account the modelling uncertainty and external disturbances.…”
Section: Norm(x)mentioning
confidence: 99%
“…The set of def initions in the above code is a definition used to call all the pre-defined definitions in one step. We formalised the assumptions proposed in [31] as follow: Assumption 1 (Eq. 14 [31]),…”
Section: Interactive (Human-machine) Proofmentioning
confidence: 99%
See 2 more Smart Citations
“…Specifically, our aim is to provide a method of verifying the safety of controllers using satisfiability modulo theories (SMT) solving. Our work is in the spirit of [9,10], in which controllers for flight vehicles are designed, and the flight envelope and asymptotic stability of the controller are verified by the automated theorem prover MetiTarski. However, in these works, the design of the controllers is fairly specialized, and is closely tied together with how the controller's safety is verified.…”
Section: Introductionmentioning
confidence: 99%