AOE Seminar: Control Systems Software Assurance| Speaker | Dr. Eric Feron |
|---|
| Institution | Georgia Tech |
|---|
| Faculty Host | Dr. Mazen Farhood |
|---|
| Date & Time | 10.05.2009 04:00pm |
|---|
| Location | 129 McBryde Hall |
|---|
Control systems have historically been concerned with the development of provably good control software specifications for cyber-physical systems. Closely associated with control systems engineering, one can find extensive tools derived from numerical analysis, dynamical system theory, complex analysis, linear algebra and other fields. Comparatively speaking, little or no attention has been spent on control software, leaving it aside as an "implementation issue". In this talk, we will motivate the need to look more closely at control systems software. After pointing out the commonalities existing between invariant theory and Lyapunov stability theory, we will outline some basic techniques that may help make control systems software more easily and independently verifiable. We will also describe ongoing efforts aimed at the case-by-case verification of autocoded software. |
Back to Seminar Schedule |
| |
|
|
AOE News
|
