The consistent intialization of differential-algebraic systems
SIAM Journal on Scientific and Statistical Computing
C: a language for high-level, efficient, and machine-independent dynamic code generation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Functional reactive robotics: an exercise in principled integration of domain-specific languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Functional reactive programming, continued
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
FVision: A Declarative Language for Visual Tracking
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Functional automatic differentiation with dirac impulses
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Realization of web-based simulation services
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Realization of Web-based simulation services
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Mathematical equations as executable models of mechanical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Mixed-level embedding and JIT compilation for an iteratively staged DSL
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Static balance checking for first-class modular systems of equations
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Embedding a functional hybrid modelling language in Haskell
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Keeping calm in the face of change
Higher-Order and Symbolic Computation
Towards a formal semantics for a structurally dynamic noncausal modelling language
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Node-Based connection semantics for equation-based object-oriented modeling languages
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
A survey on reactive programming
ACM Computing Surveys (CSUR)
Viewpoints, formalisms, languages, and tools for cyber-physical systems
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
| Hi-index | 0.00 |
The modeling and simulation of physical systems is of key importance in many areas of science and engineering, and thus can benefit from high-quality software tools. In previous research we have demonstrated how functional programming can form the basis of an expressive language for causal hybrid modeling and simulation. There is a growing realization, however, that a move toward non-causal modeling is necessary for coping with the ever increasing size and complexity of modeling problems. Our goal is to combine the strengths of functional programming and non-causal modeling to create a powerful, strongly typed fully declarative modeling language that provides modeling and simulation capabilities beyond the current state of the art. Although our work is still in its very early stages, we believe that this paper clearly articulates the need for improved modeling languages and shows how functional programming techniques can play a pivotal role in meeting this need.