High-confidence control: Ensuring reliability in high performance real-time systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publication2002 1st International IEEE Symposium "Intelligent Systems", IS 2002 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages4-9
Number of pages6
ISBN (Electronic)0780371348, 9780780371347
DOIs
StatePublished - Jan 1 2002
Event1st International IEEE Symposium "Intelligent Systems", IS 2002 - Varna, Bulgaria
Duration: Sep 10 2002Sep 12 2002

Publication series

Name2002 1st International IEEE Symposium
Volume1

Other

Other1st International IEEE Symposium "Intelligent Systems", IS 2002
CountryBulgaria
CityVarna
Period9/10/029/12/02

Keywords

  • Anytime Algorithms
  • Probabilistic Verification
  • Theory/Practice Gap
  • Verification and Validation

Fingerprint Dive into the research topics of 'High-confidence control: Ensuring reliability in high performance real-time systems'. Together they form a unique fingerprint.

Cite this