443 citations · 575 across the 4 of their papers we have counts for
4 papers
Integrating Vision Systems and STPA for Robust Landing and Take-Off in VTOL Aircraft
Sandeep Banik, Jinrae Kim, Naira Hovakimyan +3
Vertical take-off and landing (VTOL) unmanned aerial vehicles (UAVs) are versatile platforms widely used in applications such as surveillance, search and rescue, and urban air mobi…
A comprehensive safety engineering approach for software-intensive systems based on STPA
Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson
Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of…
Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data
Homa Alemzadeh, Ravishankar K. Iyer, Zbigniew Kalbarczyk +2
Understanding the causes and patient impacts of surgical adverse events will help improve systems and operational practices to avoid incidents in the future. We analyzed the advers…
Systems-theoretic Safety Assessment of Robotic Telesurgical Systems
Homa Alemzadeh, Daniel Chen, Andrew Lewis +4
Robotic telesurgical systems are one of the most complex medical cyber-physical systems on the market, and have been used in over 1.75 million procedures during the last decade. De…