Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey. Timed automata with observers under energy constraints. In Karl Henrik Johansson, Wang Yi, editors, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. pages 61-70, ACM, 2010. [doi]
Abstract is missing.