Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems.
Vishnu MuraliAshutosh TrivediMajid ZamaniPublished in: CoRR (2023)
Keyphrases
- dynamical systems
- linear quadratic
- dynamic systems
- differential equations
- markov chain
- linear systems
- access control
- nonlinear dynamical systems
- control theory
- state space
- qualitative simulation
- predictive state representations
- phase space
- partially observable
- agent environment
- finite state
- linear dynamical systems
- search algorithm
- dynamical models
- control law