Publications for Inger Klein

Publications for Inger KleinCo-author map based on ISI articles 2007-

Keywords

system sequential polynomial planning plan p>this model limited isolation faults fault error correct control complexity class automatic assembly algorithm action

Journal Articles

Inger Klein, Peter Jonsson and Christer Bäckström
  Efficient Planning for a Miniature Assembly Line
  Artificial Intelligence in Engineering, 1998, 13(1), 69-81.

Inger Klein and Christer Bäckström
  Planning in Polynomial Time: the SAS-PUBS Class
  Computational intelligence, 1991, 7(3), 181-197.

Conference Articles

Fredrik Heintz and Inger Erlander Klein
  The Design of Sweden's First 5-year Computer Science and Software Engineering Program
  Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE 2014), 2014.


Fredrik Heintz and Inger Erlander Klein
  Civilingenjör i Mjukvaruteknik vid Linköpings universitet: mål, design och erfarenheter
  Proceedings of 4:de Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng), 2013.


Inger Klein, Lennart Ljung, Svante Gunnarsson and Lars Nielsen
  Framstående utbildningsmiljö - Hur blir man det?
  Nätverket Ingenjörsutbildningarnas Utvecklingskonferens 2008, 2008.


Svante Gunnarsson and Inger Klein
  Computer Supported Learning and Assessment in Engineering Education
  Proceedings of the 4th International CDIO Conference, 2008.


Dan Lawesson, Ulf Nilsson and Inger Klein
  An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
  Proceedings of the 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt '05), 2005.


David Törnqvist, Fredrik Gustafsson and Inger Klein
  GLR Tests for Fault Detection over Sliding Data Windows
  Proceedings of the 16th IFAC World Congress, 2005.


Anna Hagenblad, Fredrik Gustafsson and Inger Klein
  A Comparison of Two Methods for Stochastic Fault Detection: the Parity Space Approach and Principal Component Analysis
  Proceedings of Reglermöte 2004, 2004.


Anna Hagenblad, Fredrik Gustafsson and Inger Klein
  A Comparison of Two Methods for Stochastic Fault Detection: the Parity Space Approach and Principal Component Analysis
  Proceedings of the 13th IFAC Symposium on System Identification, 2003.


Inger Klein, Dan Lawesson and Ulf Nilsson
  Fault Isolation Using Automatic Abstraction To Avoid State Space Explosion
  Proceedings of the 2003 Workshop on Model Checking and Artificial Intelligence, 2003.


Dan Lawesson, Ulf Nilsson and Inger Klein
  Fault Isolation in Discrete Event Systems by Observational Abstraction
  Proceedings of the 42nd IEEE Conference on Decision and Control, 2003.


Inger Klein, Dan Lawesson and Ulf Nilsson
  Model Checking Based Fault Isolation Using Automatic Abstraction
  Proceedings of the 14th International Workshop on Principles of Diagnosis, 2003.


Dan Lawesson, Ulf Nilsson and Inger Klein
  Fault Isolation in Discrete Event Systems by Obervational Abstraction
  IEEE Conf on Decision and Control CDC,2003, 2003.


Inger Klein, Dan Lawesson and Ulf Nilsson
  Fault Isolation using Process Algebra Models
  Proceedings of the 2002 Workshop on ModelChecking and Artificial Intelligence, 2002.


Inger Klein, Dan Lawesson and Ulf Nilsson
  Model-Checking Based Fault Isolation in UML
  Proceedings of the 12th International Workshop on Principles of Diagnosis, 2001.


Inger Klein and Anna Hagenblad
  Teaching Control Theory Using Problem Based Learning
  Proceedings of the 12th Annual Conference on Innovations in Education for Electrical and Information Engineering, 2001.


Inger Klein, Magnus Larsson, Dan Lawesson and Ulf Nilsson
  Fault Isolation in Object Oriented Control Systems
  Proceedings of the 4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, 2000.


Lennart Ljung, Roger Germundsson, Johan Gunnarsson, Inger Klein and Jonas Plantin
  Hybrid and Discrete Systems in Automatic Control - Some New (Linköping) Approaches
  Proceedings of Reglermöte 1996, 1996.


Inger Klein, Christer Bäckström and Peter Jonsson
  Automatic Synthesis of Control Programs in Polynomial Time for an Assembly Line
  Proceedings of the 35th Conference on Decision and Control, 1996.


Inger Klein, Christer Bäckström and Peter Jonsson
  Tractable Planning for an Assembly Line
  Proceedings of the 3rd European Workshop on Planning, 1995.


Inger Klein, Christer Bäckström and Peter Jonsson
  Automatic Synthesis of Control Programs for an Assembly Line
  Proceedings of Robotikdagarna 1995, 1995.


Inger Klein and Peter Lindskog
  Automatic Creation of Sequential Control Schemes in Polynomial Time
  Proceedings of the 32nd Conference on Decision and Control, 1993.


Inger Klein and Christer Bäckström
  Parallel Non-Binary Planning in Polynomial Time
  Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991.


Inger Klein and Christer Bäckström
  On the Planning Problem in Sequential Control
  Proceedings of the 30th IEEE Conference on Decision and Control, 1991.


Inger Klein and Christer Bäckström
  Planning in Polynomial Time
  Proceedings of the 9th Annual Workshop and Meeting of the Swedish AI Society, 1990.


Inger Klein and Christer Bäckström
  Planning in Polynomial Time
  Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems: Selected Papers, 1990.


Inger Klein and Christer Bäckström
  Planning in Polynomial Time
  Porceedings of the 1990 International Workshop on Expert Systems in Engineering, Principles and Applications, 1990.


Ph.D. Theses

Dan Lawesson
  An Approach to Diagnosability Analysis for Interacting Finite State Systems
  2005.


  Fulltext PDF

Magnus Larsson
  Behavioral and Structural Model Based Approaches to Discrete Diagnosis
  1999.


Inger Klein
  Automatic Synthesis of Sequential Control Schemes
  1993.


Licentiate Theses

Inger Klein
  Planning for a Class of Sequential Control Problems
  1990.


Reports

David Törnqvist, Fredrik Gustafsson and Inger Klein
  GLR Tests for Fault Detection over Sliding Data Windows
  LiTH-ISY-R, 2683, 2005.


  Fulltext PDF

David Törnqvist, Fredrik Gustafsson and Inger Klein
  GLR Tests for Fault Detection over Sliding Data Windows
  LiTH-ISY-R, 2635, 2004.


  Fulltext PDF

Anna Hagenblad, Fredrik Gustafsson and Inger Klein
  A Comparison of Two Methods for Stochastic Fault Detection: the Parity Space Approach and Principal Component Analysis
  LiTH-ISY-R, 2636, 2004.


  Fulltext PDF

Dan Lawesson, Ulf Nilsson and Inger Klein
  Model Checking Based Fault Isolation Using Automatic Abstraction
  LiTH-ISY-R, 2637, 2004.


  Fulltext PDF

Dan Lawesson, Ulf Nilsson and Inger Klein
  Fault Isolation in Discrete Event Systems by Observational Abstraction
  LiTH-ISY-R, 2638, 2004.


  Fulltext PDF

Inger Lawesson, Ulf Nilsson and Inger Klein
  Model Checking Based Fault Isolation Using Automatic Abstraction
  LiTH-ISY-R, 2493, 2003.


  Fulltext PDF

Dan Lawesson, Ulf Nilsson and Inger Lawesson
  Fault Isolation using Process Algebra Models
  LiTH-ISY-R, 2476, 2002.


  Fulltext PDF

Dan Lawesson, Ulf Nilsson and Inger Klein
  Model-Checking Based Fault Isolation in UML
  LiTH-ISY-R, 2336, 2001.


  Fulltext PDF

Anna Hagenblad and Inger Klein
  Teaching Control Theory Using Problem Based Learning
  LiTH-ISY-R, 2343, 2001.


  Fulltext PDF

Inger Klein, Peter Jonsson and Christer Bäckström
  Efficient Planning for a Miniature Assembly Line
  LiTH-ISY-R, 2288, 2000.


  Fulltext PDF

Magnus Larsson, Inger Klein, Dan Lawesson and Ulf Nilsson
  Fault Isolation in Object Oriented Control Systems
  LiTH-ISY-R, 2324, 2000.


  Fulltext PDF

Magnus Larsson, Inger Klein, Daniel Lawesson and Ulf Nilsson
  The Need for Fault Isolation in Object-Oriented Control Systems
  LiTH-ISY-R, 2098, 1999.


  Fulltext PDF

Magnus Larsson, Inger Klein, Dan Lawesson and Ulf Nilsson
  Model Based Fault Isolation for Object-Oriented Control Systems
  LiTH-ISY-R, 2205, 1999.


  Fulltext PDF

Lennart Ljung, Roger Germundsson, Johan Gunnarsson, Inger Klein, Jonas Plantin and Jan-Erik Strömberg
  Hybrid and Discrete Systems in Automatic Control - Some New (Linköping) Approaches
  LiTH-ISY-R, 1843, 1996.


  Fulltext PDF

Inger Klein, Peter Jonsson and Christer Bäckström
  Automatic Synthesis of Control Programs in Polynomial Time for an Assembly Line
  LiTH-ISY-R, 1883, 1996.


  Fulltext PDF

Inger Klein, Peter Jonsson and Christer Bäckström
  Tractable Planning for an Assembly Line
  LiTH-ISY-R, 1717, 1995.


Inger Klein, Peter Jonsson and Christer Bäckström
  Tractable Correct Planning for an Assembly Line
  LiTH-ISY-R, 1746, 1995.


  Fulltext PDF

Inger Klein, Peter Jonsson and Christer Bäckström
  Automatic Synthesis of Control Programs for an Assembly Line
  LiTH-ISY-R, 1806, 1995.


  Fulltext PDF

Inger Klein, Peter Jonsson and Christer Bäckström
  Tractable Planning for an Assembly Line
  LiTH-ISY-R, 1792, 1995.


  Fulltext PDF

Inger Klein and Peter Lindskog
  Automatic Creation of Sequential Control Schemes in Polynomial Time
  LiTH-ISY-R, 1522, 1993.


  Fulltext PDF

Inger Klein and Christer Bäckström
  Planning in Polynomial Time: The SAS-PUBS Class
  LiTH-ISY-I, 1372, 1992.


Inger Klein and Christer Bäckström
  Parallel Non-Binary Planning in Polynomial Time
  LiTH-ISY-I, 1371, 1992.


Inger Klein and Peter Lindskog
  Automatic Creation of Sequential Control Schemes in Polynomial Time
  LiTH-ISY-I, 1430, 1992.


  Fulltext PDF

Inger Klein
  Reachability for a Class of Sequential Control Problems
  LiTH-ISY-I, 1434, 1992.


  Fulltext PDF

Christer Bäckström and Inger Klein
  Parallel Non-binary Planning in Polynomial Time: The SAS-PUS Class
  LiTH-ISY-I, 1229, 1991.


Inger Klein and Christer Bäckström
  On the Planning Problem in Sequential Control
  LiTH-ISY-I, 1252, 1991.


Christer Bäckström and Inger Klein
  Planning in Polynomial Time: The SAS-PUBS Class
  LiTH-ISY-I, 1139, 1990.


Inger Klein
  Planning for a Class of Sequential Control Problems
  LiTH-ISY-I, 1007, 1989.