Formalisation, Abstraction and Refinement of Bond Graphs

Richard Banach; John Baugh

doi:10.1007/978-3-031-36709-0_8

Formalisation, Abstraction and Refinement of Bond Graphs

Richard Banach, John Baugh

Systems and Software Security

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

Bond graphs represent the structure and functionality of mechatronic systems from a power flow perspective. Unfortunately, presentations of bond graphs are replete with ambiguity, significantly impeding understanding. A formalisation of the essentials of bond graphs is given, together with a formalisation of bond graph transformation, which can directly express abstraction and refinement of bond graphs.

Original language	English
Title of host publication	The 16th International Conference on Graph Transformation
Pages	145–162
Number of pages	7
Volume	13961
DOIs	https://doi.org/10.1007/978-3-031-36709-0_8
Publication status	Published - 12 Jul 2023
Event	16th International Conference on Graph Transformation - Leicester, United Kingdom Duration: 19 Jul 2023 → 20 Jul 2023

Conference

Conference	16th International Conference on Graph Transformation
Abbreviated title	ICGT 2023
Country/Territory	United Kingdom
City	Leicester
Period	19/07/23 → 20/07/23

Keywords

Bond Graph
Formalisation
Abstraction
Refinement

Access to Document

10.1007/978-3-031-36709-0_8

Cite this

@inproceedings{c0be983decdd46b0a922f7392df321f8,

title = "Formalisation, Abstraction and Refinement of Bond Graphs",

abstract = "Bond graphs represent the structure and functionality of mechatronic systems from a power flow perspective. Unfortunately, presentations of bond graphs are replete with ambiguity, significantly impeding understanding. A formalisation of the essentials of bond graphs is given, together with a formalisation of bond graph transformation, which can directly express abstraction and refinement of bond graphs.",

keywords = "Bond Graph, Formalisation, Abstraction, Refinement",

author = "Richard Banach and John Baugh",

year = "2023",

month = jul,

day = "12",

doi = "10.1007/978-3-031-36709-0_8",

language = "English",

volume = "13961",

pages = "145–162",

booktitle = "The 16th International Conference on Graph Transformation",

note = "16th International Conference on Graph Transformation, ICGT 2023 ; Conference date: 19-07-2023 Through 20-07-2023",

}

TY - GEN

T1 - Formalisation, Abstraction and Refinement of Bond Graphs

AU - Banach, Richard

AU - Baugh, John

PY - 2023/7/12

Y1 - 2023/7/12

N2 - Bond graphs represent the structure and functionality of mechatronic systems from a power flow perspective. Unfortunately, presentations of bond graphs are replete with ambiguity, significantly impeding understanding. A formalisation of the essentials of bond graphs is given, together with a formalisation of bond graph transformation, which can directly express abstraction and refinement of bond graphs.

AB - Bond graphs represent the structure and functionality of mechatronic systems from a power flow perspective. Unfortunately, presentations of bond graphs are replete with ambiguity, significantly impeding understanding. A formalisation of the essentials of bond graphs is given, together with a formalisation of bond graph transformation, which can directly express abstraction and refinement of bond graphs.

KW - Bond Graph

KW - Formalisation

KW - Abstraction

KW - Refinement

U2 - 10.1007/978-3-031-36709-0_8

DO - 10.1007/978-3-031-36709-0_8

M3 - Conference contribution

VL - 13961

SP - 145

EP - 162

BT - The 16th International Conference on Graph Transformation

T2 - 16th International Conference on Graph Transformation

Y2 - 19 July 2023 through 20 July 2023

ER -

Formalisation, Abstraction and Refinement of Bond Graphs

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this