Control Theory, Modal Logic and Games.
Julia F. KnightBrian LuensePublished in: Hybrid Systems (1996)
Keyphrases
- modal logic
- control theory
- temporal logic
- dynamical systems
- inference rules
- kripke models
- communication delays
- nonmonotonic logics
- classical logic
- variable structure
- differential equations
- epistemic logic
- prime implicates
- default logic
- control law
- conditional logic
- linear systems
- modal operators
- dynamic logic
- situation calculus
- knowledge base
- closed loop
- incomplete information
- model checking