Qualitative modelling of linear dynamical systems with quantized state measurements

This publication has 17 references indexed in Scilit:

• Stabilizing a linear system with quantized state feedback
  IEEE Transactions on Automatic Control, 1990
• Extracting state information from a quantized output record
  Systems & Control Letters, 1989
• Ein Verfahren zur Generierung regelbasierter Modelle für dynamische Systeme
  at – Automatisierungstechnik, 1989
• Qualitative reasoning: Modeling and simulation with incomplete knowledge
  Automatica, 1989
• Qualitative modeling and simulation of dynamic systems
  Computers & Chemical Engineering, 1988
• Qualitative simulation
  Artificial Intelligence, 1986
• A qualitative physics based on confluences
  Artificial Intelligence, 1984
• Linear algorithms for testing the sign stability of a matrix and for findingZ-maximum matchings in acyclic graphs
  Numerische Mathematik, 1977
• Recursive state estimation for a set-membership description of uncertainty
  IEEE Transactions on Automatic Control, 1971
• Markov Partitions for Axiom A Diffeomorphisms
  American Journal of Mathematics, 1970