Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   propose a fully automatic technique to generate safety proofs for a given block diagram. Our method computes automatically Lyapunov functions for linear and polynomial systems within a block diagram. User defined safety constraints can be added to our verification algorithm, combining the reachable set of a system with sat modulo theory constraints to prove that all safety conditions are fulfilled.
['Christian Dernehl']
I am writing a research paper on a idea Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers
[{"from": "human", "value": "I am writing a research paper on a idea Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   propose a fully automatic technique to generate safety proofs for a given block diagram. Our method computes automatically Lyapunov functions for linear and polynomial systems within a block diagram. User defined safety constraints can be added to our verification algorithm, combining the reachable set of a system with sat modulo theory constraints to prove that all safety conditions are fulfilled."}]