Kleene Algebra to Compute Invariant Sets of Dynamical Systems.
Thomas Le MézoLuc JaulinDamien MasséBenoît ZerrPublished in: Algorithms (2022)
Keyphrases
- dynamical systems
- nonlinear dynamical systems
- dynamic systems
- qualitative simulation
- differential equations
- phase space
- state space
- partially observable
- agent environment
- linear systems
- control theory
- propositional logic
- real numbers
- predictive state representations
- query language
- dynamical models
- dynamical behavior
- regular expressions
- dynamic programming
- control system
- spatio temporal