This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a
Towards the use of a multi-agents event based design to improve reactivity of production systems
β Scribed by Hatem Chebeane; Florence Echalier
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 336 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0360-8352
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We introduce the outline of a multi-agent model that can be used for visualizing simulated user behavior to support the assessment of design performance. We will consider various performance indicators of building environments, which are related to user reaction to design decisions. This system may
## Information presentation and communication 23.5.26 (125790) Chang, M K, Choi, J H and Jung, E S 'Ergonomics considerations for the design of a CRT-based process control system' in Kumashiro, M and Megaw, D (eds) Towards human work: solutions to problems in occupational health and safety Taylor