High-Confidence Control: Ensuring Reliability in High-Performance Real-time Systems

Technology transfer is an especially difficult proposition for real-time control. To facilitate it, we need to complement the "high-performance" orientation of control research with an emphasis on establishing "high confidence" in real-time implementation. Two particular problems are discussed and recent research directed at their solutions is presented. First, the use of anytime algorithms requires dynamic resource management technology that generally is not available today in real-time systems. Second, complex algorithms have unpredictable computational characteristics that, nevertheless, need to be modeled; statistical verification is suggested as a possible approach. In both cases, a synthesis of control engineering and computer science is required if effective solutions are to be devised. Simulation-based demonstrations with uninhabited aerial vehicles (UAVs) serve to illustrate the research efforts.