Weighted Timed Games (WTG for short) are the most widely used model to describe controller synthesis problems involving real-time issues. Unfortunately. they are notoriously difficult. and undecidable in general. https://www.chiggate.com/color-charm-050-cooling-violet-supply/