Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints.
Dipankar MaityJohn S. BarasPublished in: CoRR (2018)
Keyphrases
- dynamical systems
- temporal logic
- qualitative differential equations
- model checking
- automata theoretic
- dynamic constraints
- controller synthesis
- modal logic
- differential equations
- nonlinear dynamical systems
- dynamic systems
- control theory
- qualitative reasoning
- reactive systems
- state space
- linear systems
- partially observable
- qualitative simulation
- autonomic computing systems
- verification method
- linear temporal logic
- computation tree logic
- knowledge base
- predictive state representations
- temporal knowledge
- belief revision
- search space
- neural network
- mazurkiewicz traces