GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces.
Stanly SamuelDeepak D'SouzaRaghavan KomondoorPublished in: CoRR (2021)
Keyphrases
- fixed point
- controller synthesis
- state space
- autonomic computing systems
- dynamical systems
- closure operator
- closed loop
- sufficient conditions
- markov chain
- belief propagation
- constraint databases
- dynamic programming
- floating point
- autonomic systems
- initial conditions
- lookup table
- markov decision processes
- graphical models
- control system