\u3cp\u3eDiscrete-time stochastic systems are an essential modeling tool for many engineering systems. The direct synthesis of controllers for guaranteeing temporal properties encoded as finite automata has gain significant attention. Still, for many physical systems, computational issues make the synthesis problematic due to the inherent continuity and complexity of the state space. This extended abstract summarises achievements made in correct-by-design robust controller synthesis of stochastic systems using approximate simulation relations.\u3c/p\u3
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.