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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Symbolic Algebraic Discrete Systems Theory - Applied to a Fighter Aircraft
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1996 (English)Report (Other academic)
Abstract [en]

Symbolic algebraic modeling and analysis techniques for DEDS are applied to the landing gear subsystem in the new Swedish fighter aircraft, SAS 39 Gripen. The authors' methods are based on polynomials over finite fields. Polynomials are used to represent the basic dynamic equations for the processes (controller and plant) as well as static properties of these. Temporal algebra (or temporal logic) is used to represent specifications of system behavior. The authors use this approach to model the landing gear controller from the complete implementation in Pascal. The authors also provide temporal algebra interpretations of the specifications made available to them. Finally the authors perform a number of symbolic analyses on the complete process (controller and plant). This project is a first demonstration of possible uses of these methods and tools and it shows that these methods and tools scale to a problem of a non-trivial size, i.e. of the size found in complex system designs such as the JAS 39.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 1996. , 4 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 1818
Keyword [en]
Discrete event systems, Symbolic algebraic modeling
Keyword [sv]
Cybernetik och informationsteori
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55296ISRN: LiTH-ISY-R-1818OAI: oai:DiVA.org:liu-55296DiVA: diva2:315827
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-10-07Bibliographically approved

Open Access in DiVA

fulltext(43 kB)75 downloads
File information
File name FULLTEXT02.pdfFile size 43 kBChecksum SHA-512
b013a7e10ac78253740cae7f9416a42e0f45fdfd94002ff84b64895181482047e5a18f86d9de60ea8cd8489c89cc9083be55265be3e1baef34ee6508404048f7
Type fulltextMimetype application/pdf
fulltext(38 kB)59 downloads
File information
File name FULLTEXT01.psFile size 38 kBChecksum SHA-512
6a53b68c5fa8d68ec1278cc091c8eaf7ebb9708854cfbd26c58df515a3b4b2da8346a0b012414d635e0411631614e3f87e9b9c4ff1d626b906a67719d5961555
Type fulltextMimetype application/postscript

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 134 downloads
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

urn-nbn

Altmetric score

urn-nbn
Total: 51 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf