Angular momentum based balance controller for an under-actuated planar robot
Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)
Resilience Concepts for Architecting an Autonomous Military Vehicle System-of-Systems
Contract-Based Byzantine Resilience in Spacecraft Swarms (AIAA 2017-0644)
Resilient Multi-UAV Operation: Key Concepts and Challenges (AIAA 2016-0475)
Toward Development of Resilient Multi-UAV System-of-Systems (AIAA 2016-5414)
Agent-Based Flexible Design Contracts for Resilient Spacecraft Swarms (AIAA 2016-0476)