Higher-Order Acausal Models

Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models. However, support for model transformation is st ...

[1]  Simon L. Peyton Jones,et al.  Template meta-programming for Haskell , 2002, Haskell '02.

[2]  Peter Aronsson,et al.  Meta Programming and Function Overloading in OpenModelica , 2003 .

[3]  Paul Hudak,et al.  Functional Hybrid Modeling from an Object-Oriented Perspective , 2007, EOOLT.

[4]  Bjarne Stroustrup,et al.  A history of C++: 1979–1991 , 1993, HOPL-II.

[5]  Ernst Christen,et al.  Vhdl-ams---a hardware description language for analog and mixed-signal applications , 1999 .

[6]  G Georgina Fabian,et al.  A language and simulator for hybrid systems , 1999 .

[7]  Johan Åkesson,et al.  Languages and Tools for Optimization of Large-Scale Systems , 2007 .

[8]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[9]  C. C. Pantelides,et al.  A modelling and simulation language for combined lumped and distributed parameter systems , 1996 .

[10]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[11]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[12]  Tim Sheard,et al.  Accomplishments and Research Challenges in Meta-programming , 2001, SAIG.

[13]  M. Otter,et al.  Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification , 2000 .

[14]  John A. N. Lee,et al.  The second ACM SIGPLAN conference on History of programming languages , 1993 .

[15]  Ka Lok Man,et al.  Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..

[16]  Manfred Rode,et al.  On-line Optimization of Drum Boiler Startup , 2003 .

[17]  Walid Taha,et al.  MetaML and multi-stage programming with explicit annotations , 2000, Theor. Comput. Sci..

[18]  Dirk Zimmer.  Enhancing Modelica towards variable structure systems , 2007, EOOLT.

[19]  Paul I. Barton,et al.  The modelling and simulation of combined discrete/continuous processes , 1992 .

[20]  Adrian Pop,et al.  Towards Comprehensive Meta-Modeling and Meta-Programming Capabilities in Modelica , 2005 .

[21]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .

[22]  Paul Hudak,et al.  Functional reactive programming from first principles , 2000, PLDI '00.

[23]  David Broman,et al.  Flow Lambda Calculus for Declarative Physical Connection Semantics , 2007 .

[24]  Paul Hudak,et al.  Functional Hybrid Modeling , 2003, PADL.

[25]  Fraunhofer Iis,et al.  MOSILAB: Development of a Modelica based generic simulation tool supporting model structural dynamics , 2005 .

[26]  Adrian Pop,et al.  OpenModelica - A free open-source environment for system modeling, simulation, and teaching , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.