Steven Drager

United States Air Force Research Laboratory

Papers

Total Citations

H-Index

About

Steven Drager’s research focuses on the safety and reliability of cyber-physical systems and autonomous robotics, with a particular emphasis on resilience against cyberattacks and the formal verification of complex robotic behaviors. His most notable contribution is the development of a fast attack recovery framework for stochastic cyber-physical systems, a critical advancement for safety-critical domains like autonomous driving and medical monitoring, where computational and physical processes are tightly integrated. This work, published in 2024, has already garnered attention with 2 citations, highlighting its emerging impact. Drager also made significant strides in humanoid robotics through his 2014 paper on modeling and verification of task coordination using Predicate Transition Nets. This framework addresses the challenge of managing the high degrees of freedom in humanoid robots to generate stable, human-like motions. By providing a formal, component-based approach to task coordination, his work contributes to the foundational reliability of autonomous systems. Drager’s research bridges theoretical modeling with practical security solutions, offering valuable insights for students and researchers working at the intersection of robotics, control systems, and cybersecurity.