Dynamical logic observers for finite automata

This publication has 7 references indexed in Scilit:

• Knowledge Transformation in Project Networks: A Speech Act Level Cross-Boundary Analysis
  Project Management Journal, 2011
• Supervisory control of a class of discrete event processes
  Published by Springer Nature ,2005
• Semantical considerations on nonmonotonic logic
  Artificial Intelligence, 1985
• On the supremal controllable sublanguage of a given language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Non-monotonic logic I
  Artificial Intelligence, 1980
• A logic for default reasoning
  Artificial Intelligence, 1980
• Towards an abstract internal model principle
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976