Composing Multi-Resource Systems by Category Theory

Abstract:

Article Preview

This paper proposes a categorical foundation for composing multi-resource in manufacturing systems. The composing procedures of overall system can be explained by pushout of category theory. The purpose of this paper is to resolve the issue involves in resource sharing, coordination and conflict for modeling the distributed manufacturing systems. We will propose a method for modeling discrete event system. The mathematical foundation lies in assuring that the constructed models have mathematical properties, e.g. consistency and completeness, and overcome the drawbacks of traditional function models, since it can show not only the static structure of resources but also the behavioral semantics of resources. The categorical notations and properties are to be expressed by a workcell example.

Info:

Periodical:

Edited by:

Ran Chen

Pages:

4131-4135

DOI:

10.4028/www.scientific.net/AMM.44-47.4131

Citation:

H. F. Lai "Composing Multi-Resource Systems by Category Theory", Applied Mechanics and Materials, Vols. 44-47, pp. 4131-4135, 2011

Online since:

December 2010

Authors:

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.