slibkind
slibkind
In order to infer labels on ports for composite machines defined using the CPG syntax (see AlgebraicDynamics [PR#83](https://github.com/AlgebraicJulia/AlgebraicDynamics.jl/pull/83)), we need to implement a theory of labeled open circular port graphs....
Summary: Allow users to build compositions of dynamical systems (both the diagram of systems and the elementary models) in Semagrams. To design the diagram of systems, the user would draw...
Previous iterations assume that a subtype of `AbstractMachine` is composed of an eltype, interface, and system. However these are only necessary to a particular type of machine which we rename...
Allows for passing in batch initial conditions and batch inputs to composite systems, so long as the primitive systems accept batch initial conditions and inputs.
Allows state vectors to be labelled arrays.
Following [this discussion](https://julialang.zulipchat.com/#narrow/stream/230248-catlab.2Ejl/topic/Internals.20of.20Discrete.20Machines.20via.20AlgebraicDynamics), it is clear that the current system places the onus of proper bookkeeping of the state of a composite machine on the user. A new feature that...
Currently, the approach to allowing vectors on the wires is to have every wire carry a vector of the same length which is specified in the type parameter. This structuring...
Allow user to specify the state as a labelled array. Each machine will contain not just a number of states but the labels for the states as well. Readouts can...
* [ ] Currently `dependency` is represented by a span representing the relationship between ports. The first foot represents the input ports and the second foot represents the output ports....