An optimization algorithm to provide individual illuminance using LED ceiling lights and verification at the actual office | IEEE Conference Publication | IEEE Xplore