Jonas Plantin

Hybrid and Discrete Systems in Automatic Control - Some New (Linköping) Approaches

Lennart Ljung, Jan-Erik Strömberg, Inger Klein, 1996 .

Verification of a Large Discrete System using Algebric Methods

Roger Germundsson, Johan Gunnarsson, Jonas Plantin, 1996 .

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

Roger Germundsson, Johan Gunnarsson, Jonas Plantin, 1995 .

Symbolic algebraic discrete systems theory-applied to a fighter aircraft

Roger Germundsson, Johan Gunnarsson, Jonas Plantin, 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

Synthesis of a Discrete System using Algebraic Methods

Johan Gunnarsson, Jonas Plantin, 1996 .