论文信息 - Symbolic Algebraic Discrete Systems : Applied to the JAS 39 Fighter Aircraft - 字舞流文

Symbolic Algebraic Discrete Systems : Applied to the JAS 39 Fighter Aircraft

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 r ...

Roger Germundsson | Johan Gunnarsson | Jonas Plantin | J. Plantin | J. Gunnarsson | R. Germundsson

[1] Simin Nadjm-Tehrani,et al. Complex Hybrid Systems I : a Study of Available Tools and Specification of Planned Work , 1994 .

[2] James Madden,et al. Preparation of function charts for control systems , 1988 .

[3] Johan Gunnarsson,et al. Algebraic Methods for Discrete Event Systems - A Tutorial , 1996 .

[4] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .

[5] R. Fateman,et al. A System for Doing Mathematics by Computer. , 1992 .

[6] Stephen Wolfram,et al. Mathematica: a system for doing mathematics by computer (2nd ed.) , 1991 .

[7] J. Gunnarsson. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods , 1995 .

[8] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[9] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[10] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.

[11] Roger Germundsson,et al. Symbolic algebraic discrete systems theory-applied to a fighter aircraft , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.