Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In this work  employ hierarchy in order to greatly reduce the computational complexity for generating the optimal control for a discrete event system. Specifically,  propose a formal notion of equivalence  term cost equivalence that  use to generate an abstraction of a ighted automaton representing a supervisory controller.  demonstrate that this abstraction can be employed for planning, even in the presence of events that cannot be controlled. Furthermore,  propose additional requirements that  show guarantee that the plan generated from the abstracted automaton achieves optimal behavior when applied to the original unabstracted automaton. The results  generate in this paper have application to a broad class of graph-search problems.
['Richard C. Hill', 'Stéphane Lafortune']
I am writing a research paper on a idea Planning under abstraction within a supervisory control context
[{"from": "human", "value": "I am writing a research paper on a idea Planning under abstraction within a supervisory control context"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In this work  employ hierarchy in order to greatly reduce the computational complexity for generating the optimal control for a discrete event system. Specifically,  propose a formal notion of equivalence  term cost equivalence that  use to generate an abstraction of a ighted automaton representing a supervisory controller.  demonstrate that this abstraction can be employed for planning, even in the presence of events that cannot be controlled. Furthermore,  propose additional requirements that  show guarantee that the plan generated from the abstracted automaton achieves optimal behavior when applied to the original unabstracted automaton. The results  generate in this paper have application to a broad class of graph-search problems."}]