Verification of a class of hybrid systems using mathematical programming. - Ravi K. Prasanth; Sarah E. Bergstrom; Jovan D. Boskovic; Raman K. Mehra (ACC, 2003)

Adaptive accommodation of failures in second-order flight control actuators with measurable rates. - Jovan D. Boskovic; Sarah E. Bergstrom; Raman K. Mehra (ACC, 2005)

Retrofit reconfigurable flight control in the presence of control effector damage. - Jovan D. Boskovic; Sarah E. Bergstrom; Raman K. Mehra (ACC, 2005)