STAF 2023 (series) / ICGT 2023 (series) / Research Papers /
Formalisation, Abstraction and Refinement of Bond Graphs
Wed 19 Jul 2023 12:00 - 12:30 at Oak - ICGT Session 2: Specification and Verification Chair(s): Arend Rensink
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.
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
11:00 - 12:30 | ICGT Session 2: Specification and VerificationResearch Papers at Oak Chair(s): Arend Rensink University of Twente, The Netherlands Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 30mTalk | Specification and Verification of a Linear-time Temporal Logic for Graph Transformation Research Papers Fabio Gadducci University of Pisa, P: Andrea Laretto Tallinn University of Technology, Davide Trotta University of Pisa DOI Pre-print File Attached | ||
11:30 30mTalk | Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser TheoremICGT Best Theory Paper Research Papers DOI | ||
12:00 30mTalk | Formalisation, Abstraction and Refinement of Bond Graphs Research Papers DOI | ||