| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 721459 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
Applications on manufacturing systems (diagnosis, control, supervision…) often require a plant model. Obtaining the plant model is a difficult task because of systems complexity and deepth knowledge of physical materials. A necessary condition that must be verified by the plant model is its capability to respond to all the requests of the specification model. This paper ends by two complementary approaches a mathematical property is proposed to check formally and this capability and a methodology to design the plant model is proposed in order to guarantee the model capability according to the most permissive control model.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
B. Rohee, B. Riera, V. Carré-Ménétrier, J-M. Roussel,