论文信息 - Verification of a Large Discrete System using Algebric Methods

Verification of a Large Discrete System using Algebric Methods

Symbolic algebraic modeling and analysis techniques for DEDS are applied to the landing gear subsystem in the new Swedish fighter aircraft, JAS 39 Gripen. Our methods are based on polynomials over ...

[1] A. P. Sistla,et al. Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[2] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[3] Roger Germundsson,et al. Symbolic Algebraic Discrete Systems : Applied to the JAS 39 Fighter Aircraft , 1995 .

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

[5] J. Plantin. Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems , 1995 .

[6] 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.

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