Sammanfattning av denna webbsida: I detta arbete tar vi itu med följande problem: med en tidsinställd automaton, begränsa dess övergångsförhållande på ett systematiskt sätt så att alla återstående beteenden uppfyller vissa egenskaper. Detta är en utvidgning av problemet med regulatorsyntes för diskreta händelse dynamiska system, där förutom att välja bland åtgärder, regulatorn har möjlighet att göra ingenting och låta tiden gå. Problemet formuleras med hjälp av begreppet realtidsspel, och en vinnande strategi konstrueras som en xed-punkt av en operatör på utrymmet för tillstånd och klockkonvergens.
Ett annat nära relaterat problem är att av controller syntes för tidsinställda automata REF.
Controller Synthesis For Timed Automata
{'venue': None, 'journal': 'IFAC Proceedings Volumes', 'mag_field_of_study': ['Computer Science']}