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 - Applied to the JAS 39 Fighter Aircraft, Part II
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1996 (English)Report (Other academic)
Abstract [en]

In this document we present symbolic algebraic modeling and analysis techniques applied to the landing gear subsystem in the new Swedish fighter aircraft, JAS 39 Gripen. This is a work in progress report within the larger project COmplex Hybrid SYstems (COHSY) which is a joint project between several academic (Mechanical Engineering, Computer Science and Electrical Engineering) and industrial (Saab Aircraft, Volvo Aero and VOAC) partners. It is also part of a long term effort within the Automatic Control group in Linköping to deal with discrete dynamic systems, mainly for control applications. Our methods are based on polynomials over finite fields (with Boolean algebra and propositional logic as special cases). 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. We use this approach to model the landing gear controller from a partial documentation as well as the complete implementation in Pascal. We also provide temporal algebra interpretations of the specifications made available to us. Finally we perform a number of symbolic analyses (or verifications) on the complete process (controller and plant). The main results are:

  • These methods and tools scale to problems of a non trivial size, i.e. of the size found in complex system designs such as the JAS 39.
  • A first demonstration of possible uses of these methods and tools.
  • Several interesting avenues of continued research motivated by problems found during this application.
Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 1996. , 13 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 1873
Keyword [en]
Discrete dynamic systems, Control, Finite field polynomial, Boolean algebra, Propositional logic, Binary decision diagrams, Temporal logic, Modeling, Model compilation, Analysis, Verification, Fighter aircraft, Landing gear
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55313ISRN: LiTH-ISY-R-1873OAI: oai:DiVA.org:liu-55313DiVA: diva2:316069
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-09-19

Open Access in DiVA

Symbolic Algebraic Discrete Systems - Applied to the JAS 39 Fighter Aircraft, Part II(241 kB)49 downloads
File information
File name FULLTEXT02.pdfFile size 241 kBChecksum SHA-512
b5ae6cc3a4a877c461def76a6acc626d2563ed2196a3a2eb0960f421a1e3791389f34e1e624a053aa19ea5ea321aad4b7c155ce58fcdd7e80501086cf71a71c7
Type fulltextMimetype application/pdf
fulltext(529 kB)19 downloads
File information
File name FULLTEXT01.psFile size 529 kBChecksum SHA-512
2b080feab73ab07ed27bf7da409cd6ba719fb7c0be24d1f6be32c473f73c015e22cd963cd472495e0bb0dae7a179295cea12d3a54b770507285b5b32cd0eb0fd
Type fulltextMimetype application/postscript

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

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