Changes between Initial Version and Version 5 of Ticket #2152


Ignore:
Timestamp:
2013-06-24T12:59:47Z (11 years ago)
Author:
Francesco Casella
Comment:

Changed description to reflect contents more accurately Merged text with closed duplicate #2224

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2152

    • Property Owner changed from somebody to Lennart Ochel
    • Property Status new → assigned
    • Property Priority high → blocker
    • Property Summary Find exact times of time events → Handle time events efficiently

  • Ticket #2152 – Description

    initial v5  
    1 The pattern to look for is something like:
    2 `time >= pre(nextTimeEvent)`
     1The relations
     2{{{
     3time >= <discrete_expr>
     4time < <discrete_expr>
     5}}}
     6can be handled as time events without resorting to crossing functions, thus leading to more efficient simulation code (see Modelica Specification 3.2 rev1, sect. 8.5).
    37
    4 An expression with only pre(discrete), constant, or parameter
    5 expressions. Then it is always possible to calculate the next exact time
    6 of this event indicator. Replace >= with ==, solve for time. If the
    7 time is <= current time, no more events occur.
     8We can look for expressions containing only pre(discrete), constant, or parameter expressions. Then it is always possible to calculate the next exact time of this event indicator, by replacing >= (or <) with == and solving for time.
     9
     10If time is <= current time, no more events occur, otherwise schedule next time event and deal with it as with sample()