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://fitnessgravesyardes.shop/product-category/media-control-panel/