Runtime verification of autopilot systems using a fragment of MTL-∫.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 379, doi. 10.1007/s10009-017-0470-5
- By:
- Publication type:
- Article
Works matching DE "AUTOPILOT (Computer program language)"
Results: 9
1
2
Composite guidance laws based on sliding mode control with impact angle constraint and autopilot lag.
- Published in:
- Transactions of the Institute of Measurement & Control, 2013, v. 35, n. 6, p. 764, doi. 10.1177/0142331213478327
- By:
- Publication type:
- Article
3
A novel robust proportional navigation guidance law design for missile considering autopilot dynamic.
- Published in:
- Transactions of the Institute of Measurement & Control, 2013, v. 35, n. 5, p. 703, doi. 10.1177/0142331212468480
- By:
- Publication type:
- Article
4
Designing an Autopilot System for Control of Unmanned Aerial Vehicles.
- Published in:
- International Review of Aerospace Engineering, 2011, v. 4, n. 5, p. 264
- By:
- Publication type:
- Article
5
Adaptive Fuzzy Sliding Mode Guidance Law considering Available Acceleration and Autopilot Dynamics.
- Published in:
- International Journal of Aerospace Engineering, 2018, p. 1, doi. 10.1155/2018/6081801
- By:
- Publication type:
- Article
6
MODELING AND ANALYSIS OF THE "AIRPLANE-AUTOPILOT" SYSTEM IN DESCENDING ATMOSPHERIC DISTURBANCE.
- Published in:
- Journal Scientific & Applied Research, 2018, v. 13, p. 5, doi. 10.46687/jsar.v13i1.232
- By:
- Publication type:
- Article
7
THE PROGRESS REPORT.
- Published in:
- Quality Progress, 2018, v. 51, n. 7, p. 14
- Publication type:
- Article
8
Robust Missile Autopilots With Finite-Time Convergence.
- Published in:
- Asian Journal of Control, 2016, v. 18, n. 3, p. 1010, doi. 10.1002/asjc.1183
- By:
- Publication type:
- Article
9
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software.
- Published in:
- Software: Practice & Experience, 2015, v. 45, n. 7, p. 893, doi. 10.1002/spe.2281
- By:
- Publication type:
- Article