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

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
AbstractList 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
Author Fantuzzi, C.
Secchi, C.
Bonfe, M.
Author_xml – sequence: 1
  givenname: C.
  surname: Secchi
  fullname: Secchi, C.
  organization: DISMI, Modena & Reggio Emilia Univ
– sequence: 2
  givenname: M.
  surname: Bonfe
  fullname: Bonfe, M.
– sequence: 3
  givenname: C.
  surname: Fantuzzi
  fullname: Fantuzzi, C.
BookMark eNotzLtOwzAUAFBLFIm2dGZg8Q-kXL_tEZIClSox0L2yk2tq1DgojhD5ewaYznZWZJGHjITcMdgyBu6hbuotB9BbYQwouCIbZyyTXEpghsGCLIE5VnHO9A1ZlfIJABa0XpKmwZI-Mg0z3f1MmEsaMvW5o_t8xjFNPrdIh0if8Oy_0zDSlGkzZ9-n1l_o-1wm7MstuY7-UnDz75ocn3fH-rU6vL3s68dDlRxMlYtBYDAhCuucNU4GC1wB0xyDV1qIYIUU0bQcJcc2uM6j6ViIOnRKRS7W5P6vTYh4-hpT78f5JJkxQivxC-NNS9k
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/CDC.2006.377050
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Explore
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library Online
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 6707
ExternalDocumentID 4177365
Genre orig-research
GroupedDBID 29P
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
CBEJK
CHZPO
IPLJI
JC5
OCL
RIE
RIG
RIO
RNS
ID FETCH-LOGICAL-i90t-9fb3eb7bf38998794b80250162eba5633b8343f7c2e42ecb9dae7d1bf6bd55f23
IEDL.DBID RIE
ISBN 9781424401710
1424401712
ISSN 0191-2216
IngestDate Wed Jun 26 19:23:11 EDT 2024
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-9fb3eb7bf38998794b80250162eba5633b8343f7c2e42ecb9dae7d1bf6bd55f23
PageCount 6
ParticipantIDs ieee_primary_4177365
PublicationCentury 2000
PublicationDate 2006-Dec.
PublicationDateYYYYMMDD 2006-12-01
PublicationDate_xml – month: 12
  year: 2006
  text: 2006-Dec.
PublicationDecade 2000
PublicationTitle Proceedings of the 45th IEEE Conference on Decision and Control
PublicationTitleAbbrev CDC
PublicationYear 2006
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0008066
ssj0001969080
Score 1.399807
Snippet The paper introduces a formal definition of inheritance, which is a cardinal concept in object-oriented software, for dynamical systems. The proposed...
SourceID ieee
SourceType Publisher
StartPage 6702
SubjectTerms Computer languages
Control systems
Design methodology
Manufacturing systems
Mechatronics
Object oriented modeling
Software design
Software engineering
Software systems
USA Councils
Title Design by Extension and Inheritance of Behavior in Dynamical Systems
URI https://ieeexplore.ieee.org/document/4177365
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ1JTwMhFMdJ25NeXFrjHg4epWUbGM6tTTWp8VCT3hoYIGk0M6aZJuqnd5ihS4wHb8AJyGN97_97ANxx51VCNUNp5gTiJFNIcY-RwU4aXm2VVgSB8_RZTF750zyZt8D9VgvjnKuDz1w_FGtfvi2ydfgqG3AiJRNJG7SlUo1Wa_efoqp3XrDFuAunuPFTVu8RRCkRG1FX4MPQDesp1nFk_hCsBsPRsHFRMClxUOPvJV2pz5zxEZhuetuEmrz116XpZ9-_QI7_Hc4x6O3UffBle26dgJbLT8HhHpiwC0ajOrADmi_48FnHuBc51LmFj3nQC5bBVGDhYaQrruAyh6Mmt71-h5GC3gOz8cNsOEEx3wJaKlwi5Q1zRhofkHtptU5NGi5IRFBndCIYMynjzMuMOk5dZpTVTlpivDA2STxlZ6CTF7k7B5BbzIzRKfHCc5ZaxTOtKWPEVutdeXIBumE6Fh8NUWMRZ-Ly7-YrcEBjuiBMrkGnXK3dTXUVKM1tbQM_eq-rkQ
link.rule.ids 310,311,783,787,792,793,799,27939,55088
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ07T8MwEMetUgZg4dEi3nhgJK1fceK5adVCWzEUqVtlx7ZUgVJUpRLw6YkT9yHEwOZ4cqyzffbd_3cAPDBjRUgkDeLU8IDhVASCWRQoZCLFiq1ScydwHo15_5U9TcNpDTxutDDGmDL5zLRcs4zl60W6ck9lbYajiPJwD-yHzq-o1FrbFxVR3PScNfp9OEZVpLK4kQSEYL6WdTlCDFnTnvw38tQfjES7k3SqIAWNIuT0-DtlV8pTp3cMRuvxVskmb61Vrlrp9y-U439_6AQ0t_o--LI5uU5BzWRn4GgHTdgASVKmdkD1BbufZZb7IoMy03CQOcVg7owFLiz0fMUlnGcwqarby3foOehNMOl1J51-4CsuBHOB8kBYRY2KlHXQvbhYqSp2LhLmxCgZckpVTBm1UUoMIyZVQksTaawsVzoMLaHnoJ4tMnMBINOIKiVjbLllNNaCpVISSrEuVryw-BI03HTMPiqmxszPxNXf3ffgoD8ZDWfDwfj5GhwSXzwI4RtQz5crc1s4Brm6K-3hB69Vrt4
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+45th+IEEE+Conference+on+Decision+and+Control&rft.atitle=Design+by+Extension+and+Inheritance+of+Behavior+in+Dynamical+Systems&rft.au=Secchi%2C+C.&rft.au=Bonfe%2C+M.&rft.au=Fantuzzi%2C+C.&rft.date=2006-12-01&rft.pub=IEEE&rft.isbn=9781424401710&rft.issn=0191-2216&rft.spage=6702&rft.epage=6707&rft_id=info:doi/10.1109%2FCDC.2006.377050&rft.externalDocID=4177365
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0191-2216&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0191-2216&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0191-2216&client=summon