Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra.
Baltasar Trancón y WidemannPublished in: CMCS (2014)
Keyphrases
- dynamical systems
- temporal logic
- model checking
- mazurkiewicz traces
- dynamic systems
- differential equations
- modal logic
- satisfiability problem
- concurrent systems
- nonlinear dynamical systems
- state space
- linear systems
- qualitative differential equations
- control theory
- partially observable
- temporal knowledge
- qualitative simulation
- belief revision
- predicate logic
- reactive systems
- agent environment
- phase space
- dynamical models
- reinforcement learning
- decision problems
- lower bound