Functional Hybrid Modeling

函数混合建模耶鲁大学的henrik Nilsson， Paul Hudak和John peterson这个项目将函数式编程与非因果混合建模集成到一个强大的、强类型的、完全声明式的建模和仿真语言中，结合了每种范式的优势。函数式响应式编程的工作已经证明了如何在功能设置中使用因果建模来描述高度动态的混合系统。然而，非因果建模有助于使大规模建模易于管理，而相关的符号和数值方法对于有效和数值合理的模拟是必不可少的。我们的目标是提供一种超越当前技术水平的建模功能，同时允许高效仿真的语言，并且在语义上严格，以促进建模、模型推理和捕获某些建模错误。核心研究领域包括集成功能混合建模的语义；调和混合仿真世界的实现技术与现代声明性语言和动态代码生成的实现技术；以及为物理建模量身定制的类型系统，结合了类型理论的最新思想，以增强模型的安全性和鲁棒性。该项目将通过为用户提供一种高度表达的建模语言来促进设计和理解现实世界中的复杂系统，该语言适用于编程广泛的建模和仿真应用程序。

CCR-0306046Functional Hybrid ModelingHenrik Nilsson, Paul Hudak, and John PetersonYale UniversityThis project integrates functional programming with non-causal hybrid modeling into a powerful, strongly typed, fully declarative modeling and simulation language, combining the strengths of each paradigm. The work on Functional Reactive Programming has demonstrated how causal modeling in a functional setting allows highly dynamic hybrid systems to be described. However, non-causal modeling is instrumental in making large-scale modeling manageable, and the associated symbolic and numerical methods are essential for efficient and numerically sound simulation.The goal is a language that provides modeling capabilities beyond the current state of the art while allowing efficient simulation, and is semantically rigorous to facilitate modeling, reasoning about models, and catching certain modeling errors. Central research areas include the semantics of integrated functional hybrid modeling; reconciling the implementation techniques of the hybrid simulation world with those of modern declarative languages and dynamic code generation; and a type system tailored to physical modeling incorporating recent ideas from type theory to enhance the safety and robustness of the models. The project will facilitate designing and understanding complex systems in the real world by providing users with a highly expressive modeling language that is suitable for programming a broad range of modeling and simulation applications.