Keyphrases
- temporal logic
- predictive control
- model checking
- control scheme
- modal logic
- neuro fuzzy
- model predictive control
- control strategy
- neural network
- heat exchanger
- satisfiability problem
- multiple models
- concurrent systems
- power plant
- belief revision
- transition systems
- reactive systems
- verification method
- temporal knowledge
- automata theoretic
- mazurkiewicz traces
- control law
- formal specification
- computational intelligence
- dynamic programming
- artificial neural networks
- data mining