Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Linköping: Linköping University Electronic Press, 1996. , s. 4
Serie
LiTH-ISY-R, ISSN 1400-3902 ; 1818
Emneord [en]
Discrete event systems, Symbolic algebraic modeling
Emneord [sv]
Cybernetik och informationsteori
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-55296ISRN: LiTH-ISY-R-1818OAI: oai:DiVA.org:liu-55296DiVA, id: diva2:315827
Tilgjengelig fra: 2010-04-29 Laget: 2010-04-29 Sist oppdatert: 2014-10-07bibliografisk kontrollert

Open Access i DiVA

fulltext(43 kB)137 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 43 kBChecksum SHA-512
b013a7e10ac78253740cae7f9416a42e0f45fdfd94002ff84b64895181482047e5a18f86d9de60ea8cd8489c89cc9083be55265be3e1baef34ee6508404048f7
Type fulltextMimetype application/pdf
fulltekst(38 kB)87 nedlastinger
Filinformasjon
Fil FULLTEXT01.psFilstørrelse 38 kBChecksum SHA-512
6a53b68c5fa8d68ec1278cc091c8eaf7ebb9708854cfbd26c58df515a3b4b2da8346a0b012414d635e0411631614e3f87e9b9c4ff1d626b906a67719d5961555
Type fulltextMimetype application/postscript

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 224 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 83 treff
RefereraExporteraLink to record
Permanent link

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