GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.
Stanly SamuelDeepak D'SouzaRaghavan KomondoorPublished in: ESEC/SIGSOFT FSE (2021)
Keyphrases
- fixed point
- controller synthesis
- state space
- autonomic computing systems
- dynamical systems
- closure operator
- sufficient conditions
- floating point
- belief propagation
- markov chain
- closed loop
- fixed point theorem
- control system
- reinforcement learning
- multi agent
- initial conditions
- lookup table
- real time
- graphical models
- markov random field
- dynamic programming
- probabilistic model