A SAT-Based Approach for the Construction of Reusable Control System Components.

Daniel Côté Benoît Fraikin Marc Frappier Richard St-Denis

Published in: FMICS (2011)

Keyphrases

control system
software components
satisfiability problem
control strategy
fuzzy logic
reusable components
building blocks
search algorithm
control algorithm
pid control
software systems
closed loop
design patterns
control method
fuzzy control
sat problem
max sat