1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)
DOI: 10.1109/icsmc.1996.561378
|View full text |Cite
|
Sign up to set email alerts
|

Towards a formal language of physical systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(5 citation statements)
references
References 18 publications
0
5
0
Order By: Relevance
“…A product requires services from resources and a resource offers services to products. These services can usually be split into three categories [FC1], which is the case in Arezzo: space services (e.g. : product transported by a shuttle within a conveying system), time services (e.g.…”
Section: -Component Identificationmentioning
confidence: 99%
“…A product requires services from resources and a resource offers services to products. These services can usually be split into three categories [FC1], which is the case in Arezzo: space services (e.g. : product transported by a shuttle within a conveying system), time services (e.g.…”
Section: -Component Identificationmentioning
confidence: 99%
“…A product requires services from resources and a resource offers services to products. These services can usually be divided into three categories (Feliot et al, 1996), which is the case in Arezzo-FMS: space services (e.g. product transportation by a shuttle within the conveying system), time services (e.g.…”
Section: Description Of the Arezzo-fms Approachmentioning
confidence: 99%
“…can be represented by a chain (a "word") w whose characters are elements of V = {A, T , C}. Using such chains, Feliot, Staroswiecki, and Cassar [25] and Feliot [26] proved that four rules define the set of syntactically correct sequences of connected items:…”
Section: Connection Rulesmentioning
confidence: 99%
“…It may be made up of two receivers with a valve between them (A • T C • A process ≈ A process). According to the inputs and outputs, Feliot, Staroswiecki, and Cassar [25] established three equivalence rules at the beginning and end of any chain. These three subsets cover all the chains that can be encountered in any valid network.…”
Section: Equivalence Rulesmentioning
confidence: 99%
See 1 more Smart Citation