J. Plantin

发表

Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems

J. Plantin, 1995 .

Verification of a Large Discrete System using Algebric Methods

Roger Germundsson, Johan Gunnarsson, Jonas Plantin, 1996 .

Control Law Synthesis for a Discrete Event System

J. Plantin, J. Gunnarsson, 1994 .

Erik Stoy, Jonas Plantin, J. Plantin, 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

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

Roger Germundsson, Johan Gunnarsson, Jonas Plantin, 1995 .