Abstract
Coordination plays a key role in solving decomposed optimal design problems. Several coordination strategies have been proposed in the multidisciplinary optimization (MDO) literature. They are usually presented as a sequence of statements. However, a precise description of the concurrency in the coordination is needed for large multilevel or non-hierarchic coordination architectures. This article proposes the use of communicating sequential processes (CSP) concepts from concurrency theory for specifying and implementing coordination strategies in distributed multilevel optimization rigorously. CSP enables the description of the coordination as a number of parallel processes that operate independently and communicate synchronously. For this purpose, we introduce elements of the language χ, a CSP-based language that contains advanced data modeling constructs. The associated software toolkit allows execution of the specified coordination. Coordination specification using χ is demonstrated for analytical target cascading (ATC), a methodology for design optimization of hierarchically decomposed multilevel systems. It is shown that the ATC coordination can be compactly specified for various coordination schemes. This illustrates the advantage of using a high-level concurrent language, such as χ, for specifying the coordination of distributed optimal design problems. Moreover, the χ software toolkit is useful in implementing alternative schemes rapidly, thus enabling the comparison of different MDO methods.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
1999alex99 Alexandrov, N.M.; Lewis, R.M. 1999: Comparative properties of collaborative optimization and other approaches to MDO. In: First ASMO UK/ISSMO Conference on Engineering Design Optimization, 8–9July 1999, MCB press
2000, 2002alex00 Alexandrov, N.M.; Lewis, R.M. 2000: Analytical and computational properties of distributed approaches to MDO. In: 8th AIAA/USAF/MASA/ISSMO Symposium on Multidisciplinary Analysis and Optimization, 6–8 September 2000, Long Beach, paper AIAA-2000-4718
2002alex02 Alexandrov, N.M.; Lewis, R.M. 2002: Analytical and computational aspects of collaborative optimization for multidisciplinary design. AIAA J.40, 301–309
1960back60 Backus, J. 1960: The syntax and semantics of the proposed international algebraic language of the Zürich ACM-GAMM conference. In: Proceedings ICIP, Unesco, 125–131
1996ball96 Balling, R.J.; Sobieszczanski-Sobieski, J. 1996: Optimization of coupled systems: a critical overview of approaches. AIAA J.34, 6–17
2002boskleijn02 Bos, V.; Kleijn, J.J.T. 2002: Formal specification and analysis of industrial systems, Dissertation, Eindhoven University of Technology
1994cram94 Cramer, E.J.; Dennis, J.E. Jr.; Frank, P.D.; Lewis, R.M.; Shubin, G.R. 1994: Problem formulation for multidisciplinary optimization. SIAM J. Optim.4, 754–776
1975dijk75 Dijkstra, E.W. 1975: Guarded commands, nondeterminacy, and formal derivation of programs. Commun. ACM18, 453–457
2002etma02a Etman, L.F.P.; Hofkamp, A.T.; Rooda, J.E.; Kokkolaras, M.; Papalambros, P.Y. 2002: Coordination specification for distributed optimal system design. Proc. 9th AIAA/ISSMO Symposium on Multidisciplinary Analysis and Optimization, Atlanta, GA, paper no. AIAA-2002-5410
1993ampl93 Fourer, R.; Gay, D.M.; Kernighan, B.W. 1993: AMPL: A Modeling Language for Mathematical Programming. Duxbury Press
2004haft04 Haftka, R.T.; Watson, L.T. 2004: Multidisciplinary design optimization with quasiseparable subsystems. Optim. Eng., in press
1978hoare78 Hoare, C.A.R. 1978: Communicating sequential processes, Commun. ACM. 21, 666–677
1985hoare85 Hoare, C.A.R. 1985: Communicating Sequential Processes. Englewood Cliffs: Prentice-Hall
2001hofk01 Hofkamp, A.T. 2001: Python from χ. Note, Systems Engineering group, Eindhoven University of Technology, http://se.wtb.tue.nl
2002a,bchiman02a Hofkamp, A.T.; Rooda, J.E. 2002a: χ Reference manual. http://se.wtb.tue.nl, Systems Engineering group, Eindhoven University of Technology
2002bchiman02b Hofkamp, A.T.; Rooda, J.E. 2002b: Chi tool set reference manual. http://se.wtb.tue.nl, Systems Engineering group, Eindhoven University of Technology
2003huls03 Hulshof, M.F. 2003: Analytical target cascading: numerical convergence evaluation and manufacturing system application. MSc thesis report SE-420338, Systems Engineering group, Eindhoven University of Technology
2001kim01 Kim, H.M. 2001: Target Cascading in Optimal System Design, Dissertation, The University of Michigan, Ann Arbor, Michigan
2002kim02 Kim, H.M.; Kokkolaras, M.; Louca, L.S.; Delagrammati-kas, G.J.; Michelena, N.F.; Filipi, Z.S.; Papalambros, P.Y.; Stein, J.L.; Assanis, D.N. 2002: Target cascading in vehicle redesign: A class VI truck study. Int. J. Veh. Des.29, 1–27
2003kim03 Kim, H.M.; Michelena, N.F.; Papalambros, P.Y.; Jiang, T. 2003: Target cascading in optimal system design. J. Mech. Des.125, 474–480
2000kodi00 Kodiyalam, S.; Sobieszczanski-Sobieski, J. 2000: Bilevel integrated system synthesis with response surfaces. AIAA J.38(8), 1479–1485
2002kokk02 Kokkolaras, M.; Fellini, R.; Kim, H.M.; Michelena, N.F.; Papalambros, P.Y. 2002: Extension of the target cascading formulation to the design of product families. Struct. Multidisc. Optim.24, 293–301
2004liu04 Liu, B.; Haftka, R.T.; Watson, L.T. 2004: Global-local structural optimization using response surfaces of local optimization margins. Struct. Multidisc. Optim., in press
1999pyth99 Lutz, M.; Ascher, D. 1999: Learning Python. Cambridge: O’Reilly
2001mich01 Michelena, N.F.; Kokkolaras, M.; Louca, L.S.; Lin, C.C.; Jung, D.; Filipi, Z.S.; Assanis, D.N.; Papalambros, P.Y.; Peng, H.; Stein, J.L.; Feury, M. 2001: Design of an advanced heavy tactical truck: a target cascading case study. Proc. SAE International Truck & Bus Meeting and Exhibition, Chicago, IL, paper no. 2001-01-2793
2003mich03 Michelena, N.; Park, H.; Papalambros, P.Y. 2003: Convergence properties of analytical target cascading. AIAA J.41, 897–905
1998papad98 Papadopoulos, G.A.; Arbab, F. 1998: Coordination Models and Languages. CWI Software Engineering report SEN-R9834, National Research Institute for Mathematics and Computer Science, http://www.cwi.nl, Amsterdam, the Netherlands
2004python Python 2004: http://www.python.org
1997rosc97 Roscoe, A.W. 1997: The Theory and Practice of Concurrency. London: Prentice-Hall
2000sobi00 Sobieski, I.P.; Kroo, I.M., 2000: Collaborative optimization using response surface estimation. AIAA J.38, 1931–1938
2003tzev03 Tzevelekos, N.; Kokkolaras, M.; Papalambros, P.Y.; Hulshof, M.F.; Etman, L.F.P.; Rooda, J.E. 2003: An empirical local convergence study of alternative coordination schemes in analytical target cascading. 5th World Congress of Structural and Multidisciplinary Optimization, Venice, 19–23 May 2003 (CD-ROM)
2000vbeek00 Van Beek, D.A.; Rooda, J.E. 2000: Languages and applications in hybrid modelling and simulation: the positioning of Chi. Contr. Eng. Pract.8, 81–91
1995vdmortel95 Van de Mortel-Fronczak, J.M.; Rooda, J.E.; Van den Nieuwelaar, N.J.M. 1995: Specification of a flexible manufacturing system using concurrent programming. Concurrent Eng.-Res. A.3, 187–194
2003chiman03 Vervoort, J.; Rooda. J.E. 2003: Learning χ. Systems Engineering Group, Eindhoven University of Technology, http://se.wtb.tue.nl
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Etman, L., Kokkolaras, M., Hofkamp, A. et al. Coordination specification in distributed optimal design of multilevel systems using the χ language. Struct Multidisc Optim 29, 198–212 (2005). https://doi.org/10.1007/s00158-004-0467-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00158-004-0467-z