All Outputs (2)

A step toward reusable model fragments. (2001)
Presentation / Conference Contribution
AHRIZ, H. and TOMASENA, M. 2001. A step toward reusable model fragments. In Proceedings of the 2001 International conference on computational intelligence for modeling control and automation (CIMCA 2001), 9-11 July 2001, Las Vegas, USA. New York: IEEE, pages 559-566.

In this paper we describe a system to elaborate models which are suitable for model based reasoning. A set of model fragments selected from a library will be put together to build a model candidate. The system relies on the bond graph notation, which... Read More about A step toward reusable model fragments..

Verification of redesign models: a CSP approach. (2001)
Presentation / Conference Contribution
ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In Culley, S. (ed.) Proceedings of the 13th International conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Zurich: Professional Engineering Publishing, pages 283-290.

One of the initial stages in the manufacturing of an article is the production of a design which satisfies a set of user requirements. Much of the design work carried out in manufacturing companies can be classified as redesign, i.e. producing a new... Read More about Verification of redesign models: a CSP approach..