JuliaReach / SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
https://juliareach.github.io/SpaceExParser.jl/
MIT License
7 stars 1 forks source link

Composing components #23

Open mforets opened 6 years ago

mforets commented 6 years ago

The SX format supports modular design for complex systems using networks of components. Network components are components with no locations, while base components are those components which define at least one location. The former define bindings of parameters to numerical values of base components and interconnections between them.

See for example the controller and heater example in section 2 here.

An approach in SX.jl could be to make a hybrid system for which the modes are themselves hybrid systems.