Coordination Specification for Distributed Optimal System Design Using the Chi Language

Coordination plays a key role in solving decomposed optimal system design problems. Several coordination strategies have been proposed in the multidisciplinary optimization (MDO) literature. They are usually presented as a sequence of statements: the parallel nature of the multidisciplinary subproblems is often either not addressed or only briefly mentioned. However, a more formal description of the concurrency in the coordination is essential, in particular for large and non-hierarchic coordination architectures. This paper proposes to use concepts from communicating sequential processes (CSP) developed in concurrency theory. CSP allows the description of the MDO coordination as a number of parallel processes that operate independently and communicate with each other synchronously over pre-defined channels. For this purpose, we introduce elements of the language χ, a CSPbased language that contains data types such as reals, arrays, lists and tuples. The accompanying software tool set that enables the execution of a χ specification has been extended with a Python interface so that function calls to external software can be carried out. Through this interface, χ has been coupled with Matlab to run coordination specifications of distributed optimal system design problems on single or on multiple parallel computers. An optimal design example is used to illustrate this. It can be concluded that the use of a CSP-based language such as χ for coordinating the solution of MDO problems is quite promising.

[1]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[2]  Jacobus E. Rooda,et al.  Coordination specification of the analytical target cascading process using the Chi language , 2002 .

[3]  Ilan Kroo,et al.  Collaborative optimization using response surface estimation , 1998 .

[4]  John W. Backus,et al.  The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.

[5]  John E. Dennis,et al.  Problem Formulation for Multidisciplinary Optimization , 1994, SIAM J. Optim..

[6]  V Victor Bos,et al.  Formal specification and analysis of industrial systems , 2002 .

[7]  Jaroslaw Sobieszczanski-Sobieski,et al.  Bilevel Integrated System Synthesis with Response Surfaces , 2000 .

[8]  Panos Y. Papalambros,et al.  Principles of Optimal Design: Author Index , 2000 .

[9]  J.E. Rooda,et al.  Specification of a Flexible Manufacturing System Using Concurrent Programming , 1995 .

[10]  Panos Y. Papalambros,et al.  Convergence properties of analytical target cascading , 2002 .

[11]  Klaus Schittkowski,et al.  More test examples for nonlinear programming codes , 1981 .

[12]  Terrance Carl Wagner,et al.  A general decomposition methodology for optimal system design. , 1993 .

[13]  Natalia Alexandrov,et al.  Comparative properties of collaborative optimization and other approaches to MDO , 1999 .

[14]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[15]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[16]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[17]  D. A. van Beek,et al.  LANGUAGES AND APPLICATIONS IN HYBRID MODELLING AND SIMULATION: POSITIONING OF CHI , 2000 .

[18]  Jaroslaw Sobieszczanski-Sobieski,et al.  OPTIMIZATION OF COUPLED SYSTEMS: A CRITICAL OVERVIEW OF APPROACHES , 1994 .