Title | ||
---|---|---|
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. |
Abstract | ||
---|---|---|
During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little effort focused on applying those methods to the control-system domain, especially when it comes to the investigation of low-level implementation errors, which are related to digital controllers and hardware compatibili... |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/TR.2018.2873260 | IEEE Transactions on Reliability |
Keywords | Field | DocType |
Embedded systems,Software,Unmanned aerial vehicles,Model checking,Attitude control,Limit-cycles,Formal verification | Control theory,Model checking,Compatibility (mechanics),Implementation,Attitude control,Control engineering,Software,Reliability engineering,Mathematics,Bounded function,Formal verification | Journal |
Volume | Issue | ISSN |
67 | 4 | 0018-9529 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lennon Chaves | 1 | 5 | 2.46 |
Iury Bessa | 2 | 56 | 9.37 |
Hussama Ismail | 3 | 60 | 6.65 |
Adriano Bruno dos Santos Frutuoso | 4 | 0 | 0.34 |
Lucas Cordeiro | 5 | 360 | 38.38 |
E. B. de Lima Filho | 6 | 45 | 12.51 |