Combining mathematical programming and sysml for automated component sizing of hydraulic systems

Proceedings of the ASME Design Engineering Technical Conference

Volumn 3, Issue PARTS A AND B, 2010, Pages 1231-1245

  Shah, Aditya A ^a   Paredis, Christiaan J J ^a   Burkhart, Roger ^b   Schaefer, Dirk ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b DEERE AND COMPANY   (United States)

Author keywords

Algebraic equations; Component sizing; Constraint satisfaction problems; CSP; GAMS; MINLP; Mixed integer non linear programming; Model transformations; SysML

Indexed keywords

ALGEBRAIC EQUATIONS; COMPONENT SIZING; CONSTRAINT SATISFACTION PROBLEMS; CSP; GAMS; MINLP; MIXED-INTEGER NONLINEAR PROGRAMMING; MODEL TRANSFORMATIONS; SYSML;

ALGEBRA; AUTOMATIC PROGRAMMING; COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING; DESIGN; HYDRAULIC EQUIPMENT; HYDRAULICS; INTEGER PROGRAMMING; OPTIMIZATION;

PROBLEM SOLVING;

EID: 80054968906     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC2010-28960     Document Type: Conference Paper

References (37)

1. Sage, A. P., and Armstrong, J. E. J., 2000. Introduction to Systems Engineering. John Wiley & Sons.
2. OMG, 2008. Systems Modeling Language v 1.1. http://www.omg.org/docs/ formal/08-11-02.pdf.
3. Coyne, R. D., Rosenman, M. A., Radford, A. D., Balachandran, M., and Gero, J. S., 1989. Knowledge-Based Design Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
4. Dym, C. L., and Levitt, R. E., 1991. Knowledge-Based Systems in Engineering. McGraw-Hill, Inc., New York, NY, USA.
5. Westman, R., Sargent, C., and Burton, R., 1987. "A Knowledge-Based Modular Approach to Hydraulic Circuit Design". Computers in Engineering, 1, pp. 37-41.
6. Sargent, C. M., Burton, R. T., and Westman, R. W., 1988. "Expert Systems and Fluid Power". In Proceedings of the 8th International Fluid Power Symposium, pp. 68-272.
7. Dunlop, G., and Rayudu, R., 1993. "An Expert Design Assistant for Hydraulic Systems". In Artificial Neural Networks and Expert Systems, 1993. Proceedings., First New Zealand International Two-Stream Conference on, pp. 314-316.
8. Fujita, K., Akagi, S., and Sasaki, M., 1995. "Adaptive synthesis of hydraulic circuits from design cases based on functional structure". In Proceedings of the 1995 ASME International Design Engineering Technical Conferences - 21st Annual Design Automation Conference, Vol. 82, pp. 875-882.
9. da Silva, J. C., and Back, N., 2000. "Shaping the Process of Fluid Power System Design Applying an Expert System". Research in Engineering Design, 12(1), pp. 8-17.
10. Hughes, E. J., Richards, T. G., and Tilley, D. G., 2001. "Development of a Design Support Tool for Fluid Power System Design". Journal of Engineering Design, 12, pp. 75-92.
11. Malak, R. J., Tucker, L., and Paredis, C. J., 2008. "Composing Tradeoff Models For Multi-Attribute System-Level Decision Making". In Proceedings of the ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. IDETC/CIE 2008., ASME. Paper number 49970.
12. Modelica, 2009. Modelica Language Specification v 3.1. http://www.modelica.org/documents/ModelicaSpec31.pdf.
13. Fritzson, P., 2004. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. IEEE Press.
14. Gross, M. D., 1986. "Design as Exploring Constraints". PhD thesis, Massachusetts Institute of Technology, Dept. of Architecture.
15. Russell, S. J., and Norvig, P., 2003. "Constraint Satisfaction Problems". In Artificial Intelligence: A Modern Approach, 3 ed. Prentice Hall, ch. 5, pp. 137-160.
16. Freuder, E. C., and Mackworth, A. K., 2006. "Constraint Satisfaction: An Emerging Paradigm". In Handbook of Constraint Programming, F. Rossi, P. van Beek, and T. Walsh, eds. Elsevier, ch. 2, pp. 13-28.
17. Chenouard, R., Sábastian, P., and Granvilliers, L., 2002. "Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques". In Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, C. Bessiere, ed., Vol. 4741 of LNCS, Springer, pp. 18-32.
18. O'Sullivan, B. A., 1999. "Constraint-Aided Conceptual Design". PhD thesis, Department of Computer Science, University College Cork, Ireland, July. http://www.cs.ucc.ie/osullb/phd.html.
19. Gecode, 2006. Gecode system. http://www.gecode.org.
20. Choco, 2009. Choco Solver. http://www.emn.fr/z-info/choco-solver/index. html.
21. Marc, C., Granvilliers, L., and Sorin, V., 2005. Elisa. http://sourceforge.net/projects/elisa/.
22. Granvilliers, L., 2003. RealPaver User's Manual, version 0.3. http://realpaver.sourceforge.net/.
23. Sahinidis, N. V., 1996. " BARON: A general purpose global optimization software package ". In Journal of Global Optimization, Vol. 8. Springer, ch. 2, pp. 201-205.
24. GAMS, 2009. General Algebraic Modeling System (GAMS). www.gams.com.
25. Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., and Tack, G., 2007. "MiniZinc: Towards a Standard CP Modelling Language". In Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, Vol. 4741, pp. 529-543.
26. Chenouard, R., Granvilliers, L., and Soto, R., 2008. "Model-driven constraint programming". In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, ACM, pp. 236-246.
27. Kerzhner, A. A., and Paredis, C. J. J., 2009. "Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering". In Proceedings of the 2009 ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME. Paper number 87286.
28. OMG, 2006. Meta Object Facility (MOF) Core Specification v 2.0. http://www.omg.org/docs/formal/06-01-01.pdf.
29. Königs, A., and Schürr, A., 2006. "Tool Integration with Triple Graph Grammars - A Survey". Electronic Notes in Theoretical Computer Science, 148(1), pp. 113-150.
30. Brucker, A. D., and Doser, J., 2007. "Metamodel-based UML Notations for Domain-specific Languages". In 4th InternationalWorkshop on Software Language Engineering (ATEM 2007).
31. Weisemöller, I., and Schürr, A., 2008. "A Comparison of Standard Compliant Ways to Define Domain Specific Languages". In Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, H. Giese, ed., Vol. 5002, Springer, pp. 47-58.
32. Baresi, L., and Heckel, R., 2002. "Tutorial Introduction to Graph Transformation: A Software Engineering Perspective". In Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, eds., Vol. 2505 of LNCS, Springer, pp. 402-429.
33. Czarnecki, K., and Helsen, S., 2006. "Feature-Based Survey of Model Transformation Approaches". IBM Systems Journal, 45(3), pp. 621-645.
34. Schürr, A., 1995. "Specification of graph translators with triple graph grammars". In Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings, E. W. Mayr, G. Schmidt, and G. Tinhofer, eds., Vol. 903, Springer, pp. 151-163.
35. Fischer, T., Niere, J., Torunski, L., and Zündorf, A., 2000. "Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java". In Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, eds., Vol. 1764, Springer, pp. 157-167.
36. NoMagic, 2009. MagicDraw. http://www.magicdraw.com.
37. Sahinidis, N. V., 2003. "Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach". In Global Optimization and Constraint Satisfaction, First International Workshop, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, C. Bliek, C. Jermann, and A. Neumaier, eds., Vol. 2861, Springer, pp. 1-16.