Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications.
Daniel Ajedamola AjeleyeTommaso MasciulliGiordano PolaPublished in: MED (2022)
Keyphrases
- finite state
- feedback control
- markov chain
- markov decision processes
- transition systems
- model checking
- closed loop
- adaptive control
- average cost
- reactive systems
- optimal control
- optimal policy
- context free
- open loop
- tree automata
- model checker
- feedback controller
- hidden markov models
- action sets
- autonomous control
- partially observable markov decision processes
- control law