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
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.
1995 (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 , 1995. , 37 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 1718
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
Keyword [sv]
Cybernetik Informationsteori
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55199ISRN: LiTH-ISY-R-1718OAI: oai:DiVA.org:liu-55199DiVA: diva2:315776
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-10-06Bibliographically approved

Open Access in DiVA

fulltext(166 kB)86 downloads
File information
File name FULLTEXT02.pdfFile size 166 kBChecksum SHA-512
ebe8649a807a5823be85a98fe2c856a5bffe0749ea2c6ac3b12392743c8caa972063b790812b1309b2f17765d0f01996bff1a59e5e17648aeb9b1190113fa77d
Type fulltextMimetype application/pdf
fulltext(569 kB)28 downloads
File information
File name FULLTEXT01.psFile size 569 kBChecksum SHA-512
ad57192edeeac61cb920c0db75a0524f5a26efb0f7ed7c89d4eb996e808c7e6fd6a5ddd966ed8dbb27b530de0664605a3f92f380589b775a5759ef0be639c7fa
Type fulltextMimetype application/postscript

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

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