Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
Baltasar Trancón y WidemannPublished in: CoRR (2012)
Keyphrases
- dynamical systems
- temporal logic
- model checking
- modal logic
- differential equations
- mazurkiewicz traces
- satisfiability problem
- nonlinear dynamical systems
- dynamic systems
- agent environment
- qualitative differential equations
- concurrent systems
- verification method
- qualitative simulation
- state space
- belief revision
- phase space
- control theory
- predicate logic
- reactive systems
- partially observable
- dynamical behavior
- temporal resolution
- linear systems
- transition systems
- discrete dynamical systems
- nonlinear dynamics
- finite state
- predictive state representations
- image sequences