Design by extension and inheritance of behavior in Dynamical Systems. Secchi, C., Bonf̀e, M., & Fantuzzi, C. In 45th IEEE Conference on Decision and Control (CDC 2006), San Diego, CA, USA, December~13--15, 2006.
abstract   bibtex   
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.
@inproceedings{ secchi-et-al:CDC:2006,
  author = {Secchi, Cristian and Bonf̀e, Marcello and Fantuzzi, Cesare},
  title = {Design by extension and inheritance of behavior in Dynamical Systems},
  booktitle = {45th IEEE Conference on Decision and Control (CDC 2006)},
  year = {2006},
  address = {San Diego, CA, USA},
  month = {December~13--15},
  id = {200612},
  file = {papers/2006-cdc.pdf},
  href = {\hyperbibref{2006-cdc.pdf}},
  abstract = {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.}
}

Downloads: 0