Real-time eye feature tracking from a video image sequence using Kalman filter

This publication has 17 references indexed in Scilit:

• On the optimal control of discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Analysis and synthesis of discrete event systems using temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A note on optimal supervisory control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A reachability synthesis procedure for discrete event systems in a temporal logic framework
  IEEE Transactions on Systems, Man, and Cybernetics, 1994
• Verifying a class of nondeterministic discrete event systems in a generalized temporal logic
  IEEE Transactions on Systems, Man, and Cybernetics, 1992
• Decidability for a temporal logic used in discrete-event system analysis
  International Journal of Control, 1990
• A framework for real-time discrete event control
  IEEE Transactions on Automatic Control, 1990
• A generalized temporal logic approach for control problems of a class of nondeterministic discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Principles of Artificial Intelligence
  Published by Springer Nature ,1982
• On the complexity of admissible search algorithms
  Artificial Intelligence, 1977