Nokia Distinguished Lecture: Eric Feron on Control Systems Software Assurance
Eric Feron
School of Aerospace Engineering
Georgia Institute of Technology
Abstract:
Control systems has historically...
Nokia Distinguished Lecture: Eric Feron on Control Systems Software Assurance Eric Feron School of Aerospace Engineering Georgia Institute of Technology Abstract: Control systems has 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 system 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 auto coded software.
Bio: Eric Feron is the Dutton-Ducoffe Professor of Aerospace Software Engineering at the Georgia Institute of Technology. Prior to that, he has been on the faculty of MITs department of Aeronautics and Astronautics for 12 years. He holds his BS, MS and PhD degrees from Ecole Polytechnique, France, Ecole Normale Supérieure, France and Stanford University. Eric Ferons interests are to use fundamental concepts of control systems, optimization and computer science to address important problems in aerospace engineering, including: Aerobatic control of unmanned aerial vehicles, air traffic control systems and aerospace system certification. Eric Feron has published two books and several research papers; his former research students are distributed throughout academia, government and industry. He is an advisor to the Academy of Technologies.
Like to rate videos and let people know what you think?
Automatically share your ratings, favorites, and more on Facebook, Twitter, and Google Reader with YouTube Autoshare.
Autoshare makes certain YouTube activities public on the services you choose. Select only the services you are comfortable with - like Facebook, Twitter, or Google Reader - to let your friends know what you like on YouTube. You can turn Autoshare off at any time.
Like to share videos with friends?
Automatically share your ratings, favorites, and more on Facebook, Twitter, and Google Reader with YouTube Autoshare.
Autoshare makes certain YouTube activities public on the services you choose. Select only the services you are comfortable with - like Facebook, Twitter, or Google Reader - to let your friends know what you like on YouTube. You can turn Autoshare off at any time.
Really, that is not so good! At the end of presentation (56 minutes), a old man questioned this work and he points three weaknesses. He speaks about roundoff problems in Matlab. This old man seems to be smart. Could someone identify this smarter man?
Autoshare makes certain YouTube activities public on the services you choose. Select only the services you are comfortable with - like Facebook, Twitter, or Google Reader - to let your friends know what you like on YouTube. You can turn Autoshare off at any time.