Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.
Hadi RavanbakhshSriram SankaranarayananPublished in: EMSOFT (2014)
Keyphrases
- infinite horizon
- abstract interpretation
- controller synthesis
- termination analysis
- autonomic computing systems
- static analysis
- long run
- dynamic programming
- optimal policy
- finite horizon
- optimal control
- active rules
- closed loop
- markov decision processes
- model checking
- stochastic demand
- control system
- reasoning engine
- dynamic analysis
- control algorithm
- active databases
- multi agent
- reinforcement learning
- controller design
- database
- lead time
- multistage
- integrity constraints
- state space