Changes

Add special rule for time.
Note that it isn't clearly stated as an 'exception', since time is an input and arguable not 'unknown'.

However, 'unknown' is explained as not parameter or constant; and clearly time is neither.
In general it makes sense that inputs should be included in the analysis - but I view that as a separate topic;
as it wouldn't influence how time is treated.

If time was treated as a normal unknown there could only be one partition directly using it, meaning that the goals of having any model in clocked systems would be completely broken.

If time would be ignored for the analysis then use of 'sample(time)' in 16.3 and in Modelica.Clocked.RealSignals.TimeBasedSources.Ramp would be redundant.
That would also remove the 'safety' aspect of normal synchronous models; and wasn't part of the original design.

The new formulation forces time to be in the Continuous-Time or a Clocked Discretized Continuous-Time partition.

Using smooth shouldn't require a solver-method; and especially not in combination with noEvent.

Further explain events.
The underlying problem is that the chapter had only considered clocking purely continuous-time models.

This tries to have somewhat well-defined behaviour in other cases.

Add that sample(1,1) in a clocked partition is a mess, and why it is still allowed.

Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/synchronous.tex

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

Update chapters/synchronous.tex

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

Update chapters/synchronous.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/synchronous.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

ReUseFormulation

RemoveSampleNow

Add special text for sample in clocked systems. (#3099)

* Add special text for sample in clocked systems.
Revert "RemoveSampleNow"

This reverts commit 32770c0893ab7c7d26b2d3a977a8140b698ab0c5.

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Generalize calling functions through instances (#3097)

* Generalize

* Update chapters/scoping.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Add missing closing '!' in preferredView specification

AvoidSeveralPlaces

Add special rule for time.
Note that it isn't clearly stated as an 'exception', since time is an input and arguable not 'unknown'.

However, 'unknown' is explained as not parameter or constant; and clearly time is neither.
In general it makes sense that inputs should be included in the analysis - but I view that as a separate topic;
as it wouldn't influence how time is treated.

If time was treated as a normal unknown there could only be one partition directly using it, meaning that the goals of having any model in clocked systems would be completely broken.

If time would be ignored for the analysis then use of 'sample(time)' in 16.3 and in Modelica.Clocked.RealSignals.TimeBasedSources.Ramp would be redundant.
That would also remove the 'safety' aspect of normal synchronous models; and wasn't part of the original design.

The new formulation forces time to be in the Continuous-Time or a Clocked Discretized Continuous-Time partition.

Using smooth shouldn't require a solver-method; and especially not in combination with noEvent.

Further explain events.
The underlying problem is that the chapter had only considered clocking purely continuous-time models.

This tries to have somewhat well-defined behaviour in other cases.

Add that sample(1,1) in a clocked partition is a mess, and why it is still allowed.

Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/synchronous.tex

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

Update chapters/synchronous.tex

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

Update chapters/synchronous.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/synchronous.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

ReUseFormulation

RemoveSampleNow

Add special text for sample in clocked systems. (#3099)

* Add special text for sample in clocked systems.
Revert "RemoveSampleNow"

This reverts commit 32770c0893ab7c7d26b2d3a977a8140b698ab0c5.

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Generalize calling functions through instances (#3097)

* Generalize

* Update chapters/scoping.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Add missing closing '!' in preferredView specification

AvoidSeveralPlaces