Abstract
The modeling and simulation of physical systems is of key importance in many areas of science and engineering, and thus can bene- fit 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Paul I. Barton and Cha Kun Lee. Modeling, simulation, sensitivity analysis, and optimization of hybrid systems. Submitted to ACM Transactions on Modelling and Computer Simulation: Special Issue on Multi-Paradigm Modeling, September 2001.
François E. Cellier. Object-oriented modelling: Means for dealing with system complexity. In Proceedings of the 15th Benelux Meeting on Systems and Control, Mierlo, The Netherlands, pages 53–64, 1996.
Hilding Elmqvist, François E. Cellier, and Martin Otter. Object-oriented modeling of hybrid systems. In Proceedings of ESS’93 European Simulation Symposium, pages xxxi–xli, Delft, The Netherlands, 1993.
Hilding Elmqvist and Martin Otter. Methods for tearing systems of equations in object-oriented modeling. In Proceedings of ESM’94, European Simulation Multiconference, pages 326–332, Barcelona, Spain, June 1994.
Hilding Elmqvist, Martin Otter, and François E. Cellier. Inline integration: A new mixed symbolic/numeric approach. In Proceedings of ESM’95, European Simulation Multiconference, pages xxiii–xxxiv, Prague, Czech Republic, June 1995.
Dawson R. Engler, Wilson C. Hsieh, and M. Frans Kaashoek. ‘C: A language for high-level, efficient, and machine-independent dynamic code generation”. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (POPL’96), pages 131–144, January 1996.
Andrew Kennedy. Programming Languages and Dimensions. PhD thesis, University of Cambridge, Computer Laboratory, April 1996. Published as Technical Report No. 391.
Edward A. Lee. Overview of the ptolemy project. Technical memorandum UCB/ERLM01/11, Electronic Research Laboratory, University of California, Berkeley, March 2001.
The MathWorks, Inc. Using Simulink Version 4, June 2001.
The Modelica Association. Modelica-A Unified Object-Oriented Language for Physical Systems Modeling: Tutorial version 1.4, December 2000.
The Modelica Association. Modelica-A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification version 2.0, July 2002.
Pieter J. Mosterman. An overview of hybrid simulation phenomena and their support by simulation packages. In Fritz W. Vaadrager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control’ 99, number 1569 in Lecture Notes in Computer Science, pages 165–177, 1999.
Pieter J. Mosterman, Gautam Biswas, and Martin Otter. Simulation of discontinuities in physical system models based on conservation principles. In Proceedings of SCS Summer Conference 1998, pages 320–325, July 1998.
Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Proceedings of the 2002 ACM SIGPLAN Haskel l Workshop (Haskell’02), pages 51–64, Pittsburgh, Pennsylvania, USA, October 2002. ACM Press.
Constantinos C. Pantelides. The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing, 9(2):213–231, March 1988.
Izzet Pembeci, Henrik Nilsson, and Greogory Hager. Functional reactive robotics: An exercise in principled integration of domain-specific languages. In Principles and Practice of Declarative Programming (PPDP’02), Pittsburgh, Pennsylvania, USA, October 2002.
John Peterson, Greg Hager, and Paul Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conference on Robotics and Automation, May 1999.
John Peterson, Paul Hudak, Alastair Reid, and Greg Hager. FVision: A declarative language for visual tracking. In Proceedings of PADL’01: 3rd International Workshop on Practical Aspects of Declarative Languages, pages 304–321, January 2001.
Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, and Trevor Jim. Compiling for run-time code generation. Submitted for publication to JFP SAIG.
Zhanyong Wan and Paul Hudak. Functional reactive programming from first principles. In Proceedings of PLDI’01: Symposium on Programming Language Design and Implementation, pages 242–252, June 2000.
Hongwei Xi and Frank Pfenning. Dependent types in practical programming. In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages, pages 214–227, San Antonio, January 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nilsson, H., Peterson, J., Hudak, P. (2003). Functional Hybrid Modeling. In: Dahl, V., Wadler, P. (eds) Practical Aspects of Declarative Languages. PADL 2003. Lecture Notes in Computer Science, vol 2562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36388-2_25
Download citation
DOI: https://doi.org/10.1007/3-540-36388-2_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00389-2
Online ISBN: 978-3-540-36388-0
eBook Packages: Springer Book Archive