A formal validation approach for holonic control system specifications
The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifi...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | book |
| Language: | eng |
| Published: |
2003
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10216/25249 |
| Country: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/25249 |