Quantitative Models for Complex Physical Systems

Jun Fu; Jin Zhao Wu; Ning Zhou; Hong Yan Tan

doi:10.4028/www.scientific.net/AMR.1061-1062.1144

Paper Titles

A Study on Static Water Resistance Prediction of Offshore Wind Turbine Installation Vessel
p.1124

Contrastive Analysis on Parameter Identification of Unmanned Gliding-Hydrofoil Craft’s Maneuverability Based on GA and PSO
p.1129

Grillage Structural Optimization Based on Genetic Algorithm and Mechanical Direct Calculation
p.1135

Numerical Study of the Influence of Ambient Pressure on the Inerting Effect of an Aircraft Fuel Tank Inerting System
p.1140

Quantitative Models for Complex Physical Systems
p.1144

Research on Triangularization of Parametric Surface Based on Surface Curvature
p.1148

A Comparative Study on Single Display and Region-Based P300 Speller Paradigms for Brain-Computer Interface
p.1153

Calculation of Elliptic Sphere Form Error Using a Differential Geometry Algorithm
p.1158

Study on Mathematical Model of Cylindricality Error
p.1162

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 1061-1062Quantitative Models for Complex Physical Systems

Quantitative Models for Complex Physical Systems

Abstract:

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.

You might also be interested in these eBooks

Research in Materials and Manufacturing Technologies IV

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 1061-1062)

Pages:

1144-1147

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.1061-1062.1144

Citation:

Cite this paper

Online since:

December 2014

Authors:

Jun Fu, Jin Zhao Wu*, Ning Zhou, Hong Yan Tan

Keywords:

Complex System, Metric Hybrid Automata, Quantitative Model

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] D.A. van Beek, J.E. Rooda, Languages and applications in hybrid modelling and simulation: Positioning of Chi, Control Engineering Practice, 8(1): 81-91, (2000).

DOI: 10.1016/s0967-0661(99)00137-9

Google Scholar

[2] T. A. Henzinger, The theory of hybrid automata, in: M.K. Inan, R. Kurshan (Eds. ), Verification of Digital and Hybrid Systems, Springer Berlin Heidelberg, 2000, pp.265-292.

DOI: 10.1007/978-3-642-59615-5_13

Google Scholar

[3] James R. Munkres. Topology: a First Course, Englewood Cliffs, NJ: Prentice-Hall, (1975).

Google Scholar

[4] Luca de Alfaro, M. Faella, M. Stoelinga, Linear and branching metrics for quantitative transition systems, in: J. Díaz, et al. (Eds), Automata, Languages and Programming, Springer Berlin Heidelberg , 2004, pp.97-109.

DOI: 10.1007/978-3-540-27836-8_11

Google Scholar

[5] D. A. Cox, L. John, O. Donal, Ideals, Varieties, and Algorithms: an Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer Verlag, (2007).

Google Scholar