Signal Temporal Logic Neural Predictive Control.
Yue MengChuchu FanPublished in: IEEE Robotics Autom. Lett. (2023)
Keyphrases
- temporal logic
- predictive control
- model checking
- control scheme
- heat exchanger
- model predictive control
- multiple models
- neuro fuzzy
- satisfiability problem
- control strategy
- modal logic
- neural network
- power plant
- concurrent systems
- linear temporal logic
- mazurkiewicz traces
- control law
- computation tree logic
- temporal knowledge
- verification method
- real time
- temporally extended
- belief revision
- data mining
- genetic algorithm
- knowledge base
- control system
- formal specification language
- mathematical model