Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic.
Efe C. BaltaIlya KovalenkoIsaac A. SpiegelDawn M. TilburyKira BartonPublished in: IEEE Trans. Control. Syst. Technol. (2022)
Keyphrases
- timed automata
- first order logic
- model predictive control
- control system
- predictive control
- theorem prover
- expressive power
- theorem proving
- propositional logic
- markov networks
- inference rules
- knowledge representation
- probabilistic reasoning
- model checking
- inductive logic programming
- relational algebra
- representation language
- closed loop
- control scheme
- transitive closure
- quantifier elimination
- markov logic networks
- control strategy
- markov logic
- probabilistic graphical models
- real time
- neuro fuzzy
- real time systems
- horn clauses
- fuzzy logic
- query language
- mpc algorithm