TY - JOUR
T1 - High-Confidence Control
T2 - Ensuring Reliability in High-Performance Real-time Systems
AU - Samad, Tariq
AU - Cofer, Darren
AU - Ha, Vu
AU - Binns, Pam
PY - 2004/4
Y1 - 2004/4
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=1842477788&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=1842477788&partnerID=8YFLogxK
U2 - 10.1002/int.10165
DO - 10.1002/int.10165
M3 - Article
AN - SCOPUS:1842477788
VL - 19
SP - 315
EP - 326
JO - International Journal of Intelligent Systems
JF - International Journal of Intelligent Systems
SN - 0884-8173
IS - 4
ER -