TY - GEN
T1 - High-confidence control
T2 - 1st International IEEE Symposium "Intelligent Systems", IS 2002
AU - Samad, T.
PY - 2002/1/1
Y1 - 2002/1/1
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 demonstrating "high confidence" in real-time implementation. Two particular problems are discussed and recent research directed at their solutions presented. First, the use of anytime algorithms requires dynamic resource management technology that is not generally 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.
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 demonstrating "high confidence" in real-time implementation. Two particular problems are discussed and recent research directed at their solutions presented. First, the use of anytime algorithms requires dynamic resource management technology that is not generally 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.
KW - Anytime Algorithms
KW - Probabilistic Verification
KW - Theory/Practice Gap
KW - Verification and Validation
UR - http://www.scopus.com/inward/record.url?scp=84962892119&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84962892119&partnerID=8YFLogxK
U2 - 10.1109/IS.2002.1044220
DO - 10.1109/IS.2002.1044220
M3 - Conference contribution
AN - SCOPUS:84962892119
T3 - 2002 1st International IEEE Symposium
SP - 4
EP - 9
BT - 2002 1st International IEEE Symposium "Intelligent Systems", IS 2002 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 10 September 2002 through 12 September 2002
ER -