Comparing detailed and abstract timed models of automated discrete manufacturing systems

Abstract : This paper proposes an equivalence relation that permits to compare the external behaviors of two models of the same component of an automated discrete system: a detailed model suitable to design the control of this component and a more abstract model where only the order and the durations of the operations performed by this component are considered. A first definition of the relation is given assuming that both models are deterministic; then a second definition that integrates tolerances on values and time is proposed when this assumption is no more true. These definitions are exemplified on a simple case study.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00865616
Contributor : Jean-Marc Faure <>
Submitted on : Tuesday, September 24, 2013 - 4:48:35 PM
Last modification on : Thursday, February 9, 2017 - 3:56:10 PM
Long-term archiving on : Friday, April 7, 2017 - 2:30:05 AM

File

CASE_13_Version_finale.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00865616, version 1

Collections

Citation

Matthieu Perin, Jean-Marc Faure. Comparing detailed and abstract timed models of automated discrete manufacturing systems. 9th annual IEEE International Conference on Automation Science and Engineering (CASE 2013), Aug 2013, Madison (WI), United States. pp.TuBT5.2. ⟨hal-00865616⟩

Share

Metrics

Record views

184

Files downloads

161