摘要 |
PROBLEM TO BE SOLVED: To provide a technique for efficiently testing stability by avoiding a combinatorial explosion regardless of the number and quality of nonlinear blocks when switched linearization is utilized for a simulation system including a plurality of nonlinear blocks to form a system having a plurality of states. SOLUTION: When the states are changed according to an operation scenario and the following state is not attained yet, the simulation system places a software guard 1202 showing that the state is not attained. In response to encountering the guard, whether the state is safe or not is tested.When the state is safe, the simulation system deletes the guard and places another guard at the next state. On the other hand, when the state is unstable, the simulation system replaces the guard by an unstable guard 1204. Then, it records an appearance state of a transition, and suitably ends the simulation. COPYRIGHT: (C)2011,JPO&INPIT
|