Functional Hybrid Modeling
暂无分享,去创建一个
[1] Gregory D. Hager,et al. Functional reactive robotics: an exercise in principled integration of domain-specific languages , 2002, PPDP '02.
[2] Martin Otter,et al. Inline Integration: A New Mixed Symbolic/Numeric Approach for Solving Differential-Algebraic Equations Systems , 1995 .
[3] Paul Hudak,et al. Functional reactive programming from first principles , 2000, PLDI '00.
[4] Pieter J. Mosterman,et al. An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.
[5] Paul Hudak,et al. FVision: A Declarative Language for Visual Tracking , 2001, PADL.
[6] Pieter J. Mosterman,et al. Simulation of Discontinuities in Physical System Models Based on Conservation Principles , 1998 .
[7] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[8] C. Pantelides. The consistent intialization of differential-algebraic systems , 1988 .
[9] Hilding Elmqvist,et al. Methods for Tearing Systems of Equations in Object-Oriented Modeling , 1994 .
[10] Edward A. Lee,et al. Overview of the Ptolemy project , 2001 .
[11] M. Otter,et al. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification , 2000 .
[12] Paul I. Barton,et al. Modeling, simulation, sensitivity analysis, and optimization of hybrid systems , 2002, TOMC.
[13] Paul Hudak,et al. A language for declarative robotic programming , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[14] Hilding Elmqvist,et al. Object-oriented modeling of hybrid systems , 1993 .
[15] Dawson R. Engler,et al. C: a language for high-level, efficient, and machine-independent dynamic code generation , 1995, POPL '96.
[16] Henrik Nilsson,et al. Functional reactive programming, continued , 2002, Haskell '02.
[17] COIS E. CELLIER. Object{oriented Modeling: Means for Dealing with System Complexity , 1996 .
[18] Andrew John Kennedy,et al. Programming languages and dimensions , 1995 .
[19] Frank Pfenning,et al. Dependent types in practical programming , 1999, POPL '99.