@inproceedings{ATW12, author = {Alur, Rajeev and Trivedi, Ashutosh and Wojtczak, Dominik}, title = {Optimal scheduling for constant-rate multi-mode systems}, booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control}, series = {HSCC '12}, year = {2012}, isbn = {978-1-4503-1220-2}, location = {Beijing, China}, pages = {75--84}, numpages = {10}, url = {http://doi.acm.org/10.1145/2185632.2185647}, doi = {10.1145/2185632.2185647}, acmid = {2185647}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {cyber-physical systems, green scheduling, hybrid automata, peak minimization, switched systems}, }