liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1995 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

Discrete event dynamic systems (DEDS) have become increasingly important in industry and there is a need for structured methods applicable to the design process of DEDS. In this thesis we consider algebraic methods for verification and control of DEDS.

To model DEDS we use polynomials in a quotient ring. The polynomials are a compact way of representing DEDS and they can also be used for computations. We show that the polynomials can be used to modeland analyze industrial size systems, by applying the algebraic methods to the landing gear controller of the Swedish fighter aircraft JAS 39 Gripen. The polynomial model is generated semi-automatically from the existing Pascal implementation of the controller code and it contains 105 binaryvariables of which 26 are state variables. The set of reachable states is computed and utilized to reduce the size of the model. The reduced model is then used to verify selected function specifications expressed in terms of temporal algebra.

We also address the problem of control synthesis for DEDS. Using an example system (a water tank) we study the process of controller design, using polynomials and repeated Gröbner basis computations. The control criteria can include both forbidden states and a desired behavior for the system. Additional requirements are added to generate a unique control law, which is easily translated into implementable code.

The results from the tank example are generalized and we show that we can solve a simultaneous supervision and control problem for an untimed DEDS. We discuss the Gröbner basis method and briefly outline an alternative computational method, which probably is better from a complexity point of view but does not produce a unique control law. Finally we compare the proposed polynomial approach with three other approaches within the field.

Place, publisher, year, edition, pages
Linköping: Linköping University , 1995. , 144 p.
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 501
National Category
Control Engineering
URN: urn:nbn:se:liu:diva-98095Local ID: LiU-Tek-Lic-1995:33ISBN: 91-7871-573-3OAI: diva2:652102
Available from: 2013-10-09 Created: 2013-09-29 Last updated: 2013-11-07Bibliographically approved

Open Access in DiVA

No full text

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 9 hits
ReferencesLink to record
Permanent link

Direct link