Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Symbolic Algebraic Discrete Systems Theory - Applied to a Fighter Aircraft
Linköpings universitet, Institutionen för systemteknik, Reglerteknik. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för systemteknik, Reglerteknik. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för systemteknik, Reglerteknik. Linköpings universitet, Tekniska högskolan.
1996 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Linköping: Linköping University Electronic Press, 1996. , s. 4
Serie
LiTH-ISY-R, ISSN 1400-3902 ; 1818
Nyckelord [en]
Discrete event systems, Symbolic algebraic modeling
Nyckelord [sv]
Cybernetik och informationsteori
Nationell ämneskategori
Reglerteknik
Identifikatorer
URN: urn:nbn:se:liu:diva-55296ISRN: LiTH-ISY-R-1818OAI: oai:DiVA.org:liu-55296DiVA, id: diva2:315827
Tillgänglig från: 2010-04-29 Skapad: 2010-04-29 Senast uppdaterad: 2014-10-07Bibliografiskt granskad

Open Access i DiVA

fulltext(43 kB)136 nedladdningar
Filinformation
Filnamn FULLTEXT02.pdfFilstorlek 43 kBChecksumma SHA-512
b013a7e10ac78253740cae7f9416a42e0f45fdfd94002ff84b64895181482047e5a18f86d9de60ea8cd8489c89cc9083be55265be3e1baef34ee6508404048f7
Typ fulltextMimetyp application/pdf
fulltext(38 kB)87 nedladdningar
Filinformation
Filnamn FULLTEXT01.psFilstorlek 38 kBChecksumma SHA-512
6a53b68c5fa8d68ec1278cc091c8eaf7ebb9708854cfbd26c58df515a3b4b2da8346a0b012414d635e0411631614e3f87e9b9c4ff1d626b906a67719d5961555
Typ fulltextMimetyp application/postscript

Av organisationen
ReglerteknikTekniska högskolan
Reglerteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 223 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 83 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf