论文信息 - Design by Extension and Inheritance of Behavior in Dynamical Systems

Design by Extension and Inheritance of Behavior in Dynamical Systems

The paper introduces a formal definition of inheritance, which is a cardinal concept in object-oriented software, for dynamical systems. The proposed definition exploits the coalgebraic description of software artifacts to provide a connection between the behavioral approach for modeling dynamical systems and the object-oriented approach for software modeling and design. This definition allows to apply the design by extension methodology, widely used in software engineering, to the design of components of manufacturing systems

[1] Alan S. Perelson,et al. System Dynamics: A Unified Approach , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[2] Bart Jacobs,et al. Inheritance and Cofree Constructions , 1996, ECOOP.

[3] J. Willems. Paradigms and puzzles in the theory of dynamical systems , 1991 .

[4] Barbara Liskov,et al. Data Abstraction and Hierarchy , 1987 .

[5] Richard M. Murray,et al. A Mathematical Introduction to Robotic Manipulation , 1994 .

[6] Jan C. Willems,et al. Introduction to Mathematical Systems Theory. A Behavioral , 2002 .

[7] Marcello Bonfè,et al. Object-oriented modeling of multi-domain systems , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[8] Jan C. Willems,et al. Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[9] A. J. van der Schaft,et al. Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.

[10] Michael Tiller,et al. Introduction to Physical Modeling with Modelica , 2001 .

[11] Barbara Liskov,et al. Keynote address - data abstraction and hierarchy , 1988, OOPSLA '87.