Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:16966578 > Symbolic algebraic ...

Symbolic algebraic discrete systems [Elektronisk resurs] : applied to the JAS 39 fighter aircraft. P. 2 / J. Gunnarsson

Germundsson, Roger, 1965- (författare)
Gunnarsson, Johan, 1967- (författare)
Plantin, Jonas, 1966- (författare)
Linköping : Linköping University Electronic Press, 1996
Engelska 13 s.
Serie: LiTH-ISY-R, 1400-3902 ; 1873
Läs hela texten (Sammanfattning och fulltext från Linköping University Electronic Press)
  • E-bok
Sammanfattning Ämnesord
Stäng  
  • 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 specifiations 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. 

Indexterm och SAB-rubrik

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
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Bibliotek i östra Sverige (1)

Ange som favorit

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy