C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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