Graphical representation of a dynamic system
This article is about graphs that represent exchanges of physical energy. For two-vertex multigraphs, see
dipole graph .
A simple mass–spring–damper system, and its equivalent bond-graph form
A bond graph is a graphical representation of a physical dynamic system . It allows the conversion of the system into a state-space representation . It is similar to a block diagram or signal-flow graph , with the major difference that the arcs in bond graphs represent bi-directional exchange of physical energy , while those in block diagrams and signal-flow graphs represent uni-directional flow of information. Bond graphs are multi-energy domain (e.g. mechanical, electrical, hydraulic, etc.) and domain neutral. This means a bond graph can incorporate multiple domains seamlessly.
The bond graph is composed of the "bonds" which link together "single-port", "double-port" and "multi-port" elements (see below for details). Each bond represents the instantaneous flow of energy (dE /dt ) or power . The flow in each bond is denoted by a pair of variables called power variables, akin to conjugate variables , whose product is the instantaneous power of the bond. The power variables are broken into two parts: flow and effort . For example, for the bond of an electrical system, the flow is the current, while the effort is the voltage. By multiplying current and voltage in this example you can get the instantaneous power of the bond.
A bond has two other features described briefly here, and discussed in more detail below. One is the "half-arrow" sign convention. This defines the assumed direction of positive energy flow. As with electrical circuit diagrams and free-body diagrams, the choice of positive direction is arbitrary, with the caveat that the analyst must be consistent throughout with the chosen definition. The other feature is the "causality". This is a vertical bar placed on only one end of the bond. It is not arbitrary. As described below, there are rules for assigning the proper causality to a given port, and rules for the precedence among ports. Causality explains the mathematical relationship between effort and flow. The positions of the causalities show which of the power variables are dependent and which are independent.
If the dynamics of the physical system to be modeled operate on widely varying time scales, fast continuous-time behaviors can be modeled as instantaneous phenomena by using a hybrid bond graph . Bond graphs were invented by Henry Paynter .[ 1]
Systems for bond graph
Many systems can be expressed in terms used in bond graph. These terms are expressed in the table below.
Conventions for the table below:
P
{\displaystyle P}
is the active power ;
X
^
{\displaystyle {\hat {X}}}
is a matrix object;
x
→
{\displaystyle {\vec {x}}}
is a vector object;
x
†
{\displaystyle x^{\dagger }}
is the Hermitian conjugate of x ; it is the complex conjugate of the transpose of x . If x is a scalar, then the Hermitian conjugate is the same as the complex conjugate;
D
t
n
{\displaystyle D_{t}^{n}}
is the Euler notation for differentiation , where:
D
t
n
f
(
t
)
=
{
∫
−
∞
t
f
(
s
)
d
s
,
n
=
−
1
f
(
t
)
,
n
=
0
∂
n
f
(
t
)
∂
t
n
,
n
>
0
{\displaystyle D_{t}^{n}f(t)={\begin{cases}\displaystyle \int _{-\infty }^{t}f(s)\,ds,&n=-1\\[2pt]f(t),&n=0\\[2pt]{\dfrac {\partial ^{n}f(t)}{\partial t^{n}}},&n>0\end{cases}}}
{
⟨
x
⟩
α
:=
|
x
|
α
sgn
(
x
)
⟨
a
⟩
=
k
⟨
b
⟩
β
⟹
⟨
b
⟩
=
(
1
k
⟨
a
⟩
)
1
/
β
{\displaystyle {\begin{cases}\langle x\rangle ^{\alpha }:=|x|^{\alpha }\operatorname {sgn}(x)\\\langle {a}\rangle =k\langle b\rangle ^{\beta }\implies \langle b\rangle =\left({\frac {1}{k}}\langle a\rangle \right)^{1/\beta }\end{cases}}}
Vergent-factor:
ϕ
L
=
{
Prismatic
:
length
cross-sectional
area
Cylinder
:
ln
(
r
a
d
i
u
s
o
u
t
r
a
d
i
u
s
i
n
)
2
π
⋅
length
Sphere
:
1
4
π
(
r
a
d
i
u
s
i
n
∥
−
r
a
d
i
u
s
o
u
t
)
{\displaystyle \phi _{L}={\begin{cases}{\textrm {Prismatic}}:\ {\dfrac {\textrm {length}}{{\textrm {cross-sectional}}\ {\textrm {area}}}}\\{\textrm {Cylinder}}:\ {\dfrac {\ln \left({\frac {\mathrm {radius_{out}} }{\mathrm {radius_{in}} }}\right)}{2\pi \cdot {\textrm {length}}}}\\{\textrm {Sphere}}:\ {\dfrac {1}{4\pi \left(\mathrm {radius_{in}} \parallel \mathrm {-radius_{out}} \right)}}\end{cases}}}
Generalized flow
Generalized displacement
Generalized effort
Generalized momentum
Generalized power (in watts for power systems)
Generalized energy (in joules for power systems)
Name
f
→
(
t
)
{\displaystyle {\vec {f}}(t)}
q
→
(
t
)
{\displaystyle {\vec {q}}(t)}
e
→
(
t
)
{\displaystyle {\vec {e}}(t)}
p
→
(
t
)
{\displaystyle {\vec {p}}(t)}
P
=
f
→
(
t
)
†
e
→
(
t
)
{\displaystyle P={\vec {f}}(t)^{\dagger }{\vec {e}}(t)}
E
=
q
→
(
t
)
†
e
→
(
t
)
{\displaystyle E={\vec {q}}(t)^{\dagger }{\vec {e}}(t)}
Description
Time derivative of displacement
A quality related to static behaviour.
The energy per unit of displacement
Time integral of effort
Transformation of energy from one to another form
Conserved quantity in closed systems
Elements
Name
Hyperance
H
{\displaystyle H}
, hyperrigitance
P
=
H
−
1
{\displaystyle P=H^{-1}}
Compliance
C
{\displaystyle C}
, rigitance
K
=
C
−
1
{\displaystyle K=C^{-1}}
Resistance
R
{\displaystyle R}
Inertance
I
{\displaystyle I}
(or
L
{\displaystyle L}
)
Abrahance
A
{\displaystyle A}
Magnance
M
{\displaystyle M}
Properties
Power dissipative element
Charge storage element
(State variable: displacement)
(Costate variable: effort)
Power dissipative element
Momentum storage element
(State variable: momentum)
(Costate variable: flow)
Power dissipative element
Power dissipative element
Quantitative behaviour
For 1-dimension systems (linear):
P
=
H
⋅
(
D
t
0
q
(
t
)
)
2
{\displaystyle P=H\cdot \left(D_{t}^{0}q(t)\right)^{2}}
For 1-dimension systems:
e
(
t
)
=
P
γ
[
D
t
−
1
q
(
t
)
]
{\displaystyle e(t)=P\gamma \left[D_{t}^{-1}q(t)\right]}
Impedance:
Z
(
s
)
=
1
s
2
H
=
1
s
2
P
{\displaystyle Z(s)={\frac {1}{s^{2}H}}={\frac {1}{s^{2}}}P}
Potential energy for N-dimension systems:
V
=
1
2
q
→
(
t
)
†
e
→
(
t
)
q
→
(
t
)
=
C
^
e
→
(
t
)
{\displaystyle {\begin{array}{lcl}V&=&{\frac {1}{2}}{\vec {q}}(t)^{\dagger }{\vec {e}}(t)\\{\vec {q}}(t)&=&{\hat {C}}{\vec {e}}(t)\end{array}}}
Potential energy:
V
=
∫
0
q
e
(
q
)
d
q
{\displaystyle V=\int _{0}^{q}e(q)\,dq}
Potential coenergy :
V
¯
=
∫
0
e
q
(
e
)
d
e
{\displaystyle {\overline {V}}=\int _{0}^{e}q(e)de}
For 1-dimension systems:
f
(
t
)
=
C
⋅
d
e
d
t
+
e
d
C
d
t
{\displaystyle f(t)=C\cdot {\frac {de}{dt}}+e{\frac {dC}{dt}}}
Impedance:
Z
(
s
)
=
1
s
C
=
1
s
k
{\displaystyle Z(s)={\frac {1}{sC}}={\frac {1}{s}}k}
For 1-dimension systems (linear):
P
=
R
⋅
(
D
t
q
(
t
)
)
2
{\displaystyle P=R\cdot \left(D_{t}q(t)\right)^{2}}
Power for 1-dimension non-linear resistances (
e
(
f
)
{\displaystyle e(f)}
is the effort developed by the element):
P
=
e
(
f
)
f
{\displaystyle P=e(f)f}
Rayleigh power:
R
=
1
2
R
⋅
f
(
t
)
2
{\displaystyle {\mathfrak {R}}={\frac {1}{2}}R\cdot f(t)^{2}}
Rayleigh oower for non-linear resistances:
R
=
∫
0
f
e
(
f
)
d
f
{\displaystyle {\mathfrak {R}}=\int _{0}^{f}e(f)\,df}
Rayleigh effort:
e
R
=
d
R
d
f
=
e
(
f
)
{\displaystyle e_{\mathfrak {R}}={\frac {d{\mathfrak {R}}}{df}}=e(f)}
For N -dimension systems:
P
=
f
→
(
t
)
†
e
→
(
t
)
e
→
(
t
)
=
R
^
f
→
(
t
)
{\displaystyle {\begin{array}{lcr}P&=&{\vec {f}}(t)^{\dagger }{\vec {e}}(t)\\{\vec {e}}(t)&=&{\hat {R}}{\vec {f}}(t)\end{array}}}
For 1-dimension systems:
e
(
t
)
=
R
⋅
γ
[
D
t
1
q
(
t
)
]
{\displaystyle e(t)=R\cdot \gamma \left[D_{t}^{1}q(t)\right]}
Impedance:
Z
(
s
)
=
R
{\displaystyle Z(s)=R}
Kinetic energy for N -dimension systems:
T
=
1
2
ρ
→
(
t
)
†
f
→
(
t
)
ρ
→
(
t
)
=
L
^
f
→
(
t
)
{\displaystyle {\begin{array}{lcl}T={\frac {1}{2}}{\vec {\rho }}(t)^{\dagger }{\vec {f}}(t)\\{\vec {\rho }}(t)={\hat {L}}{\vec {f}}(t)\end{array}}}
Kinetic energy:
T
=
∫
0
ρ
f
(
ρ
)
d
ρ
{\displaystyle T=\int _{0}^{\rho }f(\rho )\,d\rho }
Kinetic coenergy:
T
¯
=
∫
0
f
ρ
(
f
)
d
f
{\displaystyle {\overline {T}}=\int _{0}^{f}\rho (f)\,df}
For 1-dimension systems:
e
(
t
)
=
L
⋅
d
f
d
t
+
f
⋅
d
L
d
t
{\displaystyle e(t)=L\cdot {\frac {df}{dt}}+f\cdot {\frac {dL}{dt}}}
Impedance:
Z
(
s
)
=
s
L
{\displaystyle Z(s)=sL}
For 1-dimension systems (linear):
P
=
A
⋅
(
D
t
2
q
(
t
)
)
2
{\displaystyle P=A\cdot \left(D_{t}^{2}q(t)\right)^{2}}
For 1-dimension systems:
e
(
t
)
=
A
⋅
γ
[
D
t
3
q
(
t
)
]
{\displaystyle e(t)=A\cdot \gamma \left[D_{t}^{3}q(t)\right]}
Impedance
Z
(
s
)
=
s
2
A
{\displaystyle Z(s)=s^{2}A}
For 1-dimension systems (linear)
P
=
A
⋅
(
D
t
3
q
(
t
)
)
2
{\displaystyle P=A\cdot \left(D_{t}^{3}q(t)\right)^{2}}
For 1-dimension systems
e
(
t
)
=
M
⋅
γ
[
D
t
5
q
(
t
)
]
{\displaystyle e(t)=M\cdot \gamma \left[D_{t}^{5}q(t)\right]}
Impedance
Z
(
s
)
=
s
4
M
{\displaystyle Z(s)=s^{4}M}
Generalized behaviour
Energy from active effort sources:
W
=
∫
0
q
e
source
d
q
{\displaystyle W=\int _{0}^{q}{e_{\text{source}}}\,dq}
Lagrangian :
L
=
T
−
(
V
−
W
)
{\displaystyle {\mathfrak {L}}=T-(V-W)}
Hamiltonian :
H
=
T
+
(
V
−
W
)
{\displaystyle {\mathfrak {H}}=T+(V-W)}
Hamiltonian effort:
e
H
=
d
H
d
q
{\displaystyle e_{\mathfrak {H}}={\frac {d{\mathfrak {H}}}{dq}}}
Lagrangian effort:
e
L
=
d
L
d
q
{\displaystyle e_{\mathfrak {L}}={\frac {d{\mathfrak {L}}}{dq}}}
Passive effort:
e
L
H
=
d
d
t
d
L
d
f
{\displaystyle e_{\mathfrak {LH}}={\frac {d}{dt}}{\frac {d{\mathfrak {L}}}{df}}}
Power equation:
d
L
d
t
+
d
H
d
t
=
0
{\displaystyle {\frac {d{\mathfrak {L}}}{dt}}+{\frac {d{\mathfrak {H}}}{dt}}=0}
Effort equation:
e
L
+
e
H
=
0
{\displaystyle e_{\mathfrak {L}}+e_{\mathfrak {H}}=0}
Lagrangian equation:
e
R
+
e
L
H
=
e
L
{\displaystyle e_{\mathfrak {R}}+e_{\mathfrak {LH}}=e_{\mathfrak {L}}}
Hamiltonian equation:
e
R
+
e
L
H
=
−
e
H
{\displaystyle e_{\mathfrak {R}}+e_{\mathfrak {LH}}=-e_{\mathfrak {H}}}
If
W
¯
{\displaystyle {\overline {W}}}
is the coenergy,
W
{\displaystyle W}
is the energy,
S
{\displaystyle S}
is the state variable and
S
¯
{\displaystyle {\overline {S}}}
is the costate variable,
W
¯
+
W
=
S
⋅
S
¯
W
¯
=
∫
0
S
¯
S
(
S
¯
)
d
S
¯
W
=
∫
0
S
S
¯
(
S
)
d
S
{\displaystyle {\begin{aligned}{\overline {W}}+W=S\cdot {\overline {S}}\\{\overline {W}}=\int _{0}^{\overline {S}}S({\overline {S}})\,d{\overline {S}}\\W=\int _{0}^{S}{\overline {S}}(S)dS\end{aligned}}}
For linear elements:
W
¯
=
W
=
1
2
S
⋅
S
¯
{\displaystyle {\overline {W}}=W={\frac {1}{2}}S\cdot {\overline {S}}}