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