References for the quadrotor example - Githubissues

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

https://juliareach.github.io/ReachabilityAnalysis.jl/

MIT License

189 stars 17 forks source link

References for the quadrotor example #669

Closed adeyemiadeoye closed 1 year ago

adeyemiadeoye commented 1 year ago

Currently, it is given as xxx: We study the dynamics of a quadrotor as derived in [xxx]

mforets commented 1 year ago

The relevant references are:

Eq. (16-19) in Beard, R. (2008). Quadrotor Dynamics and Control Rev 0.1 . Technical Report Brigham Young University
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M.,800 Kim, E., Linares, U., Sanders, D. P., Schilling, C., & Wetzlinger, M. (2021). ARCH-COMP21 category report:801 Continuous and hybrid systems with nonlinear dynamics. In ARCH (pp. 32–54). EasyChair volume 80 of EPiC802 Series in Computing. doi:10.29007/2jw8