Automated Production of Optimization-Based Control Logics for Dynamic Façade Systems, with Experimental Application to Two-Zone External Venetian Blinds