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://jalyttlers.shop/product-category/keepsake-box/