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

Oscar Lindvall Bulancea Petter Nilsson Necmiye Ozay

Published in: CoRR (2018)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
control system
pseudo boolean constraints
multi agent
sat encodings
control algorithm
boolean functions
autonomic systems
genetic algorithm
mobile robot