{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:39Z","timestamp":1761487899501},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003892"},{"type":"electronic","value":"9783540363880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36388-2_25","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T05:50:36Z","timestamp":1186811436000},"page":"376-390","source":"Crossref","is-referenced-by-count":23,"title":["Functional Hybrid Modeling"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Peterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Hudak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"25_CR1","unstructured":"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."},{"key":"25_CR2","unstructured":"Fran\u00e7ois 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\u201364, 1996."},{"key":"25_CR3","unstructured":"Hilding Elmqvist, Fran\u00e7ois E. Cellier, and Martin Otter. Object-oriented modeling of hybrid systems. In Proceedings of ESS\u201993 European Simulation Symposium, pages xxxi\u2013xli, Delft, The Netherlands, 1993."},{"key":"25_CR4","unstructured":"Hilding Elmqvist and Martin Otter. Methods for tearing systems of equations in object-oriented modeling. In Proceedings of ESM\u201994, European Simulation Multiconference, pages 326\u2013332, Barcelona, Spain, June 1994."},{"key":"25_CR5","unstructured":"Hilding Elmqvist, Martin Otter, and Fran\u00e7ois E. Cellier. Inline integration: A new mixed symbolic\/numeric approach. In Proceedings of ESM\u201995, European Simulation Multiconference, pages xxiii\u2013xxxiv, Prague, Czech Republic, June 1995."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Dawson R. Engler, Wilson C. Hsieh, and M. Frans Kaashoek. \u2018C: A language for high-level, efficient, and machine-independent dynamic code generation\u201d. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (POPL\u201996), pages 131\u2013144, January 1996.","DOI":"10.1145\/237721.237765"},{"key":"25_CR7","unstructured":"Andrew Kennedy. Programming Languages and Dimensions. PhD thesis, University of Cambridge, Computer Laboratory, April 1996. Published as Technical Report No. 391."},{"key":"25_CR8","unstructured":"Edward A. Lee. Overview of the ptolemy project. Technical memorandum UCB\/ERLM01\/11, Electronic Research Laboratory, University of California, Berkeley, March 2001."},{"key":"25_CR9","unstructured":"The MathWorks, Inc. Using Simulink Version 4, June 2001."},{"key":"25_CR10","unstructured":"The Modelica Association. Modelica-A Unified Object-Oriented Language for Physical Systems Modeling: Tutorial version 1.4, December 2000."},{"key":"25_CR11","unstructured":"The Modelica Association. Modelica-A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification version 2.0, July 2002."},{"key":"25_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-48983-5_17","volume-title":"Hybrid Systems: Computation and Control\u2019 99","author":"P. J. Mosterman","year":"1999","unstructured":"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\u2019 99, number 1569 in Lecture Notes in Computer Science, pages 165\u2013177, 1999."},{"key":"25_CR13","unstructured":"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\u2013325, July 1998."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Proceedings of the 2002 ACM SIGPLAN Haskel l Workshop (Haskell\u201902), pages 51\u201364, Pittsburgh, Pennsylvania, USA, October 2002. ACM Press.","DOI":"10.1145\/581690.581695"},{"issue":"2","key":"25_CR15","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1137\/0909014","volume":"9","author":"C. C. Pantelides","year":"1988","unstructured":"Constantinos C. Pantelides. The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing, 9(2):213\u2013231, March 1988.","journal-title":"SIAM Journal on Scientific and Statistical Computing"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"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\u201902), Pittsburgh, Pennsylvania, USA, October 2002.","DOI":"10.1145\/571157.571174"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"John Peterson, Greg Hager, and Paul Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conference on Robotics and Automation, May 1999.","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"John Peterson, Paul Hudak, Alastair Reid, and Greg Hager. FVision: A declarative language for visual tracking. In Proceedings of PADL\u201901: 3rd International Workshop on Practical Aspects of Declarative Languages, pages 304\u2013321, January 2001.","DOI":"10.1007\/3-540-45241-9_21"},{"key":"25_CR19","unstructured":"Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, and Trevor Jim. Compiling for run-time code generation. Submitted for publication to JFP SAIG."},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Zhanyong Wan and Paul Hudak. Functional reactive programming from first principles. In Proceedings of PLDI\u201901: Symposium on Programming Language Design and Implementation, pages 242\u2013252, June 2000.","DOI":"10.1145\/349299.349331"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Hongwei Xi and Frank Pfenning. Dependent types in practical programming. In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages, pages 214\u2013227, San Antonio, January 1999.","DOI":"10.1145\/292540.292560"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36388-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:04:27Z","timestamp":1556737467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36388-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003892","9783540363880"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36388-2_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}