Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Timed automata are a convenient framework for modelling and reasoning about real-time systems. While these models are now ll-understood, they do not offer a convenient way of taking timing imprecisions into account. Several solutions (e.g. parametric guard enlargement) have been proposed over the last ten years to take such imprecisions into account. ,  propose a novel approach for handling robust reachability, based on permissive strategies. While classical strategies propose to play an action at an exact point in time, permissive strategies consider intervals of possible dates when to play the selected action. In other words, the controller specifies an interval of time delays for actions to be executed in a more flexible way. With such a permissive strategy,  associate a penalty, which is the inverse of the length of the proposed interval, and accumulates along the run.  show that in that setting, optimal strategies can be computed in polynomial time for one-clock timed automata.
['Patricia Bouyer', 'Erwin Fang', 'Nicolas Markey']
I am writing a research paper on a idea Permissive strategies in timed automata and games
[{"from": "human", "value": "I am writing a research paper on a idea Permissive strategies in timed automata and games"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Timed automata are a convenient framework for modelling and reasoning about real-time systems. While these models are now ll-understood, they do not offer a convenient way of taking timing imprecisions into account. Several solutions (e.g. parametric guard enlargement) have been proposed over the last ten years to take such imprecisions into account. ,  propose a novel approach for handling robust reachability, based on permissive strategies. While classical strategies propose to play an action at an exact point in time, permissive strategies consider intervals of possible dates when to play the selected action. In other words, the controller specifies an interval of time delays for actions to be executed in a more flexible way. With such a permissive strategy,  associate a penalty, which is the inverse of the length of the proposed interval, and accumulates along the run.  show that in that setting, optimal strategies can be computed in polynomial time for one-clock timed automata."}]