Export 6 results:
Filters: First Letter Of Last Name is H [Clear All Filters]
"Development of Controller-Based Compensation for Biodynamic Feedthrough in a Backhoe", Journal of Systems and Control Engineering, 11/2013.
"Using Formal Methods to Reason About Taskload and Resource Conflicts in Simulated Air Traffic Scenario", Innovations Systems Software Engineering, 2017.
"A Formal Approach to Modeling and Analyzing Human Taskload in Simulated Air Traffic Scenarios", IEEE International Conference on Computer Science & Education, 11/2015.
"Project Zephyrus: Developing a rapidly reusable high-altitude flight test platform", 2018 IEEE Aerospace Conference: IEEE, pp. 1–17, 2018.
"Examining operations coupling autoflight to ADS-B targets in high traffic density", Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd: IEEE, 2014.
"Epidemiology of satellite anomalies and failures: A subsystem-centric approach", Acta Astronautica, vol. 69, pp. 676–690, 2011.