The consistent intialization of differential-algebraic systems
SIAM Journal on Scientific and Statistical Computing
Index reduction in differential-algebraic equations using dummy derivatives
SIAM Journal on Scientific Computing
Lava: hardware design in Haskell
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Continuous System Modeling
The System Designer's Guide to VHDL-AMS
The System Designer's Guide to VHDL-AMS
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Proceedings of the 47th Design Automation Conference
Embedding a functional hybrid modelling language in Haskell
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Wired: wire-aware circuit design
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Hi-index | 0.00 |
Declarative, Equation-Based Object-Oriented (EOO) modeling languages, like Modelica, support modeling of physical systems by composition of reusable component models. An important application area is modeling of cyber-physical systems. EOO languages typically feature a connection construct allowing component models to be assembled into systems much like physical components are. Different designs are possible. This paper introduces, formalizes, and validates an approach based on explicit nodes that expressly is designed to work for functional EOO languages supporting higher-order modeling. The paper also considers Modelica-style connections and explains why that design does not work for functional EOO languages, thus mapping out the design space.