SignalFlowModel (Model)

Inheritance

Ancestors

Attributes

Attribute nameDescription
DetailsDescription of the modelica model, assumptions, etc.

Remarks

Behavioral model for controller elements with strictly causal interface ports and execution semantics. SignalFlow specifications are hierarchical dataflows, possibly with statechart-like automata elements.

Aspects
Containment
Formal Specification