INITIALIZATION OF HYBRID EQUATION-BASED DYNAMICAL SYSTEM MODELS USING SMT METHODS

摘要

A SMT method for initialization of a hybrid equation-based dynamic system representing a dynamic behavior of a physical device, said method comprising: preparing a SMT problem, solving the SMT problem using a SMT solver, extracting a plurality of unfixed start value premises from UNSAT cores, creating a relaxed SMT problem by removing the plurality of unfixed start value premises, solving the relaxed SMT problem using the SMT solver, extracting the solution from the SMT solver and considering further algorithms to solve the relaxed SMT problem.