Keyphrases
- optimal control
- reactive systems
- control problems
- model checking
- temporal logic
- dynamic programming
- control strategy
- feedback control
- information flow
- class of nonlinear systems
- risk sensitive
- infinite horizon
- petri net
- reinforcement learning
- real time systems
- control flow
- formal methods
- optimal control problems
- information security
- real time
- control law
- control system
- expert systems
- information systems