Symbolic Algebraic Discrete Systems: Applied to the JAS 39 Fighter Aircraft
1995 (English)Report (Other academic)
In this document we present symbolic algebraic modeling and analysis techniques applied to the landing gear subsystem in the new Swedish ﬁghter 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 ﬁnite ﬁelds (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 speciﬁcations 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 speciﬁcations made available to us. Finally we perform a number of symbolic analyses (or veriﬁcations) 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 ﬁrst 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.
LiTH-ISY-R, ISSN 1400-3902 ; 1718
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
IdentifiersURN: urn:nbn:se:liu:diva-55199ISRN: LiTH-ISY-R-1718OAI: oai:DiVA.org:liu-55199DiVA: diva2:315776