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

Direct link
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.
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
URN: urn:nbn:se:liu:diva-55313ISRN: LiTH-ISY-R-1873OAI: 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)34 downloads
File information
File name FULLTEXT02.pdfFile size 241 kBChecksum SHA-512
Type fulltextMimetype application/pdf
fulltext(529 kB)16 downloads
File information
File name FULLTEXT01.psFile size 529 kBChecksum SHA-512
Type fulltextMimetype application/postscript

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

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

Total: 52 hits
ReferencesLink to record
Permanent link

Direct link