Functional hybrid modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2562, Issue , 2003, Pages 376-390

  Nilsson, Henrik ^a   Peterson, John ^a   Hudak, Paul ^a  

^a Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; FUNCTIONAL PROGRAMMING;

DECLARATIVE MODELS; FUNCTIONAL PROGRAMMING TECHNIQUE; HIGH-QUALITY SOFTWARE; MODEL AND SIMULATION; MODEL PROBLEMS; PHYSICAL SYSTEMS; SCIENCE AND ENGINEERING; STATE OF THE ART;

MODELING LANGUAGES;

EID: 35248812935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36388-2_25     Document Type: Article

References (21)

1. 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.
2. 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.
3. 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.
4. Hilding Elmqvist and Martin Otter. Methods for tearing systems of equations in object-oriented modeling. In Proceedings of ESM'94, European Simulation Multi-conference, pages 326-332, Barcelona, Spain, June 1994.
5. 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.
6. 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.
7. Andrew Kennedy. Programming Languages and Dimensions. PhD thesis, University of Cambridge, Computer Laboratory, April 1996. Published as Technical Report No. 391.
8. Edward A. Lee. Overview of the ptolemy project. Technical memorandum UCB/ERLM01/11, Electronic Research Laboratory, University of California, Berkeley, March 2001.
9. The MathWorks, Inc. Using Simulink Version 4, June 2001.
10. The Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling: Tutorial version 1.4, December 2000.
11. The Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification version 2.0, July 2002.
12. 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.
13. 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.
14. Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell'02), pages 51-64, Pittsburgh, Pennsylvania, USA, October 2002. ACM Press.
15. Constantinos C. Pantelides. The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing, 9(2):213-231, March 1988.
16. 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.
17. John Peterson, Greg Hager, and Paul Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conference on Robotics and Automation, May 1999.
18. 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.
19. Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, and Trevor Jim. Compiling for run-time code generation. Submitted for publication to JFP SAIG.
20. 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.
21. 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.