[cs-talks] CS Upcoming Seminars: Hariri Talk (Thur)
cs at bu.edu
Mon Apr 4 16:07:58 EDT 2016
Formal Methods for Nonlinear Control
Sicun Gao, CSAIL, Massachusetts Institute of Technology
Thursday, April 7, 2016 12:30pm in MCS 180 - Hariri Seminar Room
Abstract: We present a framework that aims to accomplish the following goals: 1. Understand the computational complexity of controlling nonlinear and hybrid physical systems. Such problems are commonly considered to be wildly undecidable because of the involvement of real numbers, differential equations, and so on. We show that reasonable and informative upper bounds can be obtained through a practical formulation. 2. Enhance automation in the design and implementation of control systems through automated reasoning engines. These engines are designed to cope with NP-hard problems, matching the complexity of the problems to be solved. The key is to combine the full power of combinatorial search, numerical optimization, and machine learning methods. We introduce our solver dReal and show some promising experimental results. 3. Certify correctness of control software through formal proofs. To ensure correctness-by-construction of control systems, all algorithms that are used for the design and analysis of these systems should automatically produce mathematical proofs that can be machine-checked. This requires a rigorous formal analysis of techniques in control theory and numerical methods. Making good progress in these directions is crucial for building computing systems that can physically engage us in intricate and safety-critical ways.
Hosted by: Assaf Kfoury
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cs-talks