Optimization and Systems Theory Seminar
Department of Mathematics, KTH

Roger Germundsson
Department of Electrical Engineering,
Stanford University,
Stanford, CA 94305,
E-mail: germund@isl.stanford.edu

Symbolic Systems - Theory, Computation and Applications

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.

Back Calendar of Seminars
Last update: October 10, 1996 by Anders Forsgren, andersf@math.kth.se.