Quantitative Models for Complex Physical Systems
2014 ◽
Vol 1061-1062
◽
pp. 1144-1147
Keyword(s):
We present a quantitative model, called metric hybrid automata, for quantifying the behaviors of complex physical systems, such as chemical reaction control systems, manufacturing systems etc. Due to the introduction of a metric, the state space of hybrid automata forms a metric space, in which the difference of states can be quantified. Furthermore, in order to reveal the distance of system behaviors, we construct the simulation distance and the bisimulation distance, which quantify the similarity of system behaviors. Our model provides the basis for quantitative analysis for those complex physical systems.
2020 ◽
Vol 5
(1)
◽
pp. 1-169
2005 ◽
Vol 127
(1)
◽
pp. 206-216
◽
1979 ◽
Vol 9
(5)
◽
pp. 314-315