Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Symbolic techniques using BDDs and ADDs are applied to the performance analysis of (asynchronous) timed systems.  model the system as a set of probabilistic finite state machines which is analyzed as a discrete time Markov chain. The stationary probability of all reachable states is obtained iteratively using ADDs. Average time separation of events is symbolically calculated to determine various performance metrics. Application to a FIFO and a differential equation solver chip demonstrates the feasibility of the technique.
['Aiguo Xie', 'Peter A. Beerel']
I am writing a research paper on a idea Symbolic techniques for performance analysis of timed systems based on average time separation of events
[{"from": "human", "value": "I am writing a research paper on a idea Symbolic techniques for performance analysis of timed systems based on average time separation of events"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Symbolic techniques using BDDs and ADDs are applied to the performance analysis of (asynchronous) timed systems.  model the system as a set of probabilistic finite state machines which is analyzed as a discrete time Markov chain. The stationary probability of all reachable states is obtained iteratively using ADDs. Average time separation of events is symbolically calculated to determine various performance metrics. Application to a FIFO and a differential equation solver chip demonstrates the feasibility of the technique."}]