Toward Verifiable Adaptive Control Architectures with Applications to Cyber-Physical Systems
April 4, 2016
- Dr. Tansel Yucelen
- Missouri University of Science and Technology
- 4:00 p.m.
- Surge 117A
- Faculty Host: Dr. Farhood
Abstract: Government and industry agree on the potential of adaptive control systems in providing safety in the presence of adverse conditions and reducing vehicle development costs. A major roadblock to their widespread adoption is the lack of a-priori, user-defined performance and robustness guarantees to preserve a given safe flight envelope in general and commercial aviation. Current practice relies heavily on excessive high-fidelity simulations and vehicle testing as a means of performing verification. Besides the cost, a major drawback of these post-design approaches is that they only provide limited guarantees for what was tested; the fixed set of initial conditions and failure profiles.
In this seminar, we will first focus on new adaptive control architectures for addressing verification and validation challenges of adaptive control systems. The novel feature of these architectures is that they have the capability to preserve a given, user-defined safe flight envelope through rigorous analytical synthesis at the pre-design stage, instead of excessive high-fidelity simulations and vehicle testing at the post-design stage. We will then focus on applications of verifiable adaptive control architectures to cyber-physical systems – an emerging critical application domain. Specifically, we will address the synthesis of adaptive controllers over wireless networks and discuss how to mitigate the presence of malicious attacks through adaptation to enable secure cyber-physical systems. The presented theoretical results will be supported by illustrative numerical examples.