The basic goal is to develop methods and tools that allow us to manipulate large dynamic systems with complete symbolic methods. In the context of control, manipulate, refers to: Modeling, Analysis, Design and Implementation of such systems. Complete methods are methods that are guaranteed to find solutions if one exists. We will use an algebraic ``toolbox'' that allow us to carry out this program for large finite systems. This toolbox allows us to easily cover modeling, analysis and design questions. In particular we will use some of these methods for an industrial case study on (running code of) the JAS landing gear control system.
Calendar of Seminars