Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.

Oscar Lindvall Bulancea Petter Nilsson Necmiye Ozay

Published in: ADHS (2018)

Keyphrases

controller synthesis
autonomic computing systems
control system
closed loop
control algorithm
autonomic systems
pseudo boolean constraints
multi agent
sat encodings
binary decision diagrams
planning problems
state space
boolean functions
controller design