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 s...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 45th IEEE Conference on Decision and Control pp. 6702 - 6707
Main Authors Secchi, C., Bonfe, M., Fantuzzi, C.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.12.2006
Subjects
Computer languages
Control systems
Design methodology
Manufacturing systems
Mechatronics
Object oriented modeling
Software design
Software engineering
Software systems
USA Councils
Online AccessGet full text

Cover

More Information
Summary: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
ISBN:9781424401710
1424401712
ISSN:0191-2216
DOI:10.1109/CDC.2006.377050