Opened 12 years ago

Closed 12 years ago

#1995 closed defect (invalid)

Wrong simulation result with symbolic initialization

Reported by: Christian Schubert Owned by: Lennart Ochel
Priority: high Milestone: 1.9.0
Component: Backend Version: trunk
Keywords: symbolic initialization events Cc: Willi Braun

Description

Hi,

when running the model

Modelica.Blocks.Examples.IntegerNetwork1

we get "Files Equal!" if we run it without symbolic initialization and "Files not Equal!" otherwise.

The variable in question is

showValue2.showNumber

which is connected to the output of a 'TriggeredAdd' Block. So it seems that maybe an event (when) at the beginning has been missed?!

Change History (4)

comment:1 by Jens Frenkel, 12 years ago

Cc: Jens Frenkel removed

We compared both outputs with dymola and our expectations. The symoblic initialization is correct and the old initialization prodouced a wrong result for showValue2.showNumber.
It seems that

  when {trigger, local_reset} then
     y = if local_reset then local_set else pre(y) + u;
  end when;

fires shortly after initialization although triggerd does not change as far I can tell.

comment:2 by Willi Braun, 12 years ago

Cc: Willi Braun added

comment:3 by Lennart Ochel, 12 years ago

I guess this is a design issue of the old initialization and the event-system. It is not designed or even possible to provide correct pre-values at all (in particular for when-conditions).

comment:4 by Lennart Ochel, 12 years ago

Resolution: invalid
Status: newclosed

Use the symbolic initialization.

Note: See TracTickets for help on using tickets.