## Optimization and Systems Theory Seminar

Department of Mathematics, KTH

### Roger Germundsson

Department of Electrical Engineering,

Stanford University,

Stanford, CA 94305,

USA.

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.

Calendar of Seminars

*Last update: October 10, 1996 by Anders Forsgren,
andersf@math.kth.se.
*