Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems.
Hyejin HanRicardo G. SanfelicePublished in: IEEE Control. Syst. Lett. (2023)
Keyphrases
- dynamical systems
- temporal logic
- invariance properties
- computation tree logic
- qualitative differential equations
- model checking
- dynamic systems
- nonlinear dynamical systems
- state space
- signal processing
- qualitative simulation
- zernike moments
- rotation invariance
- frequency domain
- belief revision
- moment invariants
- discriminative power
- qualitative reasoning
- partially observable markov decision processes
- learning algorithm
- planning domains
- color features
- rotation invariant
- computational complexity