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

Friday, December 6, 2002 - 10:55am - 11:30am
Keller 3-180
Tariq Samad (Honeywell)
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. We focus on a particular problem in this context: Complex algorithms have unpredictable computational characteristics that nevertheless need to be modeled. Statistical verification is suggested as a possible approach and we are exploring the application of statistical learning theory. A synthesis of control engineering and computer science is required if effective solutions are to be devised.