Abstract
Graph-based function models used in early-stage systems design usually represent only one operational mode of the system. Currently, there is a need, but no rigorous formalism to model multiple possible modes in the model and logically predict the behavior of the system as it transitions between the modes. This paper presents a representation of operational modes and states of technical devices and systems based on automata theory for both discrete and continuous state transitions. It then presents formal definitions of three signal-processing verbs that actuate or regulate energy flows: Actuate_E, Regulate_E_Discrete, and Regulate_E_Continuous. The graphical templates, definitions, and application of each verb in modeling are illustrated. Finally, a system-level model is used to illustrate the verbs’ modeling and reasoning ability, in terms of cause-and-effect propagation and the systems’ transition between operational modes.
Issue Section:
Research Papers
References
1.
Pahl
, G.
, Beitz
, W.
, Feldhusen
, J.
, and Grote
, K. H.
, 2007
, Engineering Design: A Systematic Approach
, Springer-Verlag
, London
.2.
Ullman
, D. G.
, 1992
, The Mechanical Design Process
, McGraw-Hill
, New York
.3.
Otto
, K.
, and Wood
, K.
, 2001
, Product Design : Techniques in Reverse Engineering and New Product Development
, Prentice-Hall
, Upper Saddle River, NJ
.4.
Aston
, W. J.
, 1992
, “Product Design and Development
,” Biosens. Bioelectron.
, 7
(2
), pp. 85
–89
.5.
Bohm
, M. R.
, Stone
, R. B.
, Simpson
, T. W.
, and Steva
, E. D.
, 2008
, “Introduction of a Data Schema to Support a Design Repository
,” Comput.-Aided Des.
, 40
(7
), pp. 801
–811
. 6.
Nagel
, R. L.
, Vucovich
, J. P.
, Stone
, R. B.
, and McAdams
, D. A.
, 2007
, “Signal Flow Grammar From the Functional Basis
,” Proceedings of ICED 2007, the 16th International Conference on Engineering Design
, Paris, France
, July 28–31
, pp. 129
–130
.7.
Sen
, C.
, Caldwell
, B. W.
, Summers
, J. D.
, and Mocko
, G. M.
, 2010
, “Evaluation of the Functional Basis Using an Information Theoretic Approach
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 24
(1
), pp. 87
–105
. 8.
Stone
, R. B.
, Tumer
, I. Y.
, and Van Wie
, M.
, 2005
, “The Function-Failure Design Method
,” ASME J. Mech. Des.
, 127
(3
), pp. 397
–407
. 9.
Nagel
, R. L.
, Perry
, K.
, Stone
, R. B.
, and McAdams
, D. A.
, 2009
, “Function CAD: A Functional Modeling Application Based on the Function Design Framework
,” Proceedings of the ASME Design Engineering Technical Conference
, San Diego, CA
, Aug. 30–Sept. 2
, pp. 591
–600
.10.
Weaver
, J. M.
, Wood
, K. L.
, and Jensen
, D.
, 2008
, “Transformation Facilitators: A Quantitative Analysis of Reconfigurable Products and Their Characteristics
,” Proceedings of the ASME Design Engineering Technical Conference
, Brooklyn, New York
, Aug. 3–6,
Paper No.
DETC2008-49891, pp. 351
–366
.11.
Hopcroft
, J.
, Motwani
, R.
, and Ullman
, J.
, 2008
, Introduction to Automata Theory, Languages, and Computation
, Pearson Education India
, New York, NY
.12.
Hirtz
, J.
, Stone
, R. B.
, McAdams
, D. A.
, Szykman
, S.
, and Wood
, K. L.
, 2002
, “A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts
,” Res. Eng. Des.
, 13
(2
), pp. 65
–82
. 13.
Far
, B. H.
, and Elamy
, A. H.
, 2006
, “Functional Reasoning Theories: Problems and Perspectives
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 19
(2
), pp. 75
–88
.14.
Gero
, J. S.
, and Kannengiesser
, U.
, 2004
, “The Situated Function-Behaviour-Structure Framework
,” Des. Stud.
, 25
(4
), pp. 373
–391
. 15.
Van Eck
, D.
, McAdams
, D. A.
, and Vermaas
, P. E.
, 2008
, “Functional Decomposition in Engineering: A Survey
,” 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
, Paper No. DETC2007-34232, American Society of Mechanical Engineers Digital Collection
, pp. 227
–236
.16.
Deng
, Y. M.
, Britton
, G. A.
, and Tor
, S. B.
, 2000
, “Constraint-Based Functional Design Verification for Conceptual Design
,” Comput.-Aided Des.
, 32
(14
), pp. 889
–899
. 17.
Stone
, R. B.
, and Wood
, K. L.
, 2000
, “Development of a Functional Basis for Design
,” ASME J. Mech. Des.
, 122
(4
), pp. 359
–370
. 18.
Otto
, K. N.
, and Wood
, K. L.
, 1998
, “A Reverse Engineering and Redesign Methodology for Product Evolution
,” Res. Eng. Des.
, 10
(4
), pp. 226
–243
. 19.
Umeda
, Y.
, Ishii
, M.
, Yoshioka
, M.
, Shimomura
, Y.
, and Tomiyama
, T.
, 1996
, “Supporting Conceptual Design Based on the Function-Behavior-State Modeler
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 10
(04
), pp. 275
–288
.20.
Kitamura
, Y.
, and Mizoguchi
, R.
, 2004
, “Ontology-Based Systematization of Functional Knowledge
,” J. Eng. Des.
, 15
(4
), pp. 327
–351
. 21.
Goel
, A. K.
, and Bhatta
, S. R.
, 2004
, “Use of Design Patterns in Analogy-Based Design
,” Adv. Eng. Inform.
, 18
(2
), pp. 85
–94
. 22.
Bracewell
, R. H.
, and Sharpe
, J. E. E.
, 1996
, “Functional Descriptions Used in Computer Support for Qualitative Scheme Generation—‘Schemebuilder’
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 10
(4
), pp. 333
–345
. 23.
Sen
, C.
, Summers
, J. D.
, and Mocko
, G. M.
, 2013
, “Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs
,” ASME J. Comput. Inf. Sci. Eng.
, 13
(1
), p. 011008
. 24.
Albers
, A.
, and Zingel
, C.
, 2013
, “Challenges of Model-Based Systems Engineering: A Study Towards Unified Term Understanding and the State of Usage of SysML,” Smart Product Engineering
, M.
Abramovici
and R.
Stark
, eds., Springer
, Berlin/Heidelberg
, pp. 83
–92
.25.
Kurtoglu
, T.
, and Tumer
, I. Y.
, 2008
, “A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems
,” ASME J. Mech. Des.
, 130
(5
), p. 051401
. 26.
Stone
, R. B.
, Irem
, A. E.
, Ae
, Y. T.
, and Stock
, M. E.
, 2005
, “Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design
,” Res. Eng. Des.
, 16
(1–2
), pp. 96
–108
.27.
O’Halloran
, B. M.
, Papakonstantinou
, N.
, Giammarco
, K.
, and Van Bossuyt
, D. L.
, 2017
, “A Graph Theory Approach to Functional Failure Propagation in Early Complex Cyber-Physical Systems (CCPSs)
,” INCOSE Int. Sym.
, 27
(1
), pp. 1734
–1748
. 28.
Mcadams
, D. A.
, and Wood
, K. L.
, 2002
, “A Quantitative Similarity Metric for Design-by-Analogy
,” ASME J. Mech. Des.
, 124
(2
), pp. 173
–182
. 29.
Agyemang
, M.
, Linsey
, J.
, and Turner
, C. J.
, 2017
, “Transforming Functional Models to Critical Chain Models via Expert Knowledge and Automatic Parsing Rules for Design Analogy Identification
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 31
(4
), pp. 501
–511
.30.
Liu
, L.
, Li
, Y.
, Xiong
, Y.
, and Cavallucci
, D.
, 2020
, “A New Function-Based Patent Knowledge Retrieval Tool for Conceptual Design of Innovative Products
,” Comput. Ind.
, 115
, p. 103154
. 31.
Mathieson
, J. L.
, Shanthakumar
, A.
, Sen
, C.
, Arlitt
, R.
, Summers
, J. D.
, and Stone
, R.
, 2011
, “Complexity as a Surrogate Mapping Between Function Models and Market Value
,” Proceedings of the ASME Design Engineering Technical Conference
, Washington, DC
, Aug. 28–31
, pp. 55
–64
.32.
Gill
, A. S.
, Summers
, J. D.
, and Turner
, C. J.
, 2017
, “Comparing Function Structures and Pruned Function Structures for Market Price Prediction: An Approach to Benchmarking Representation Inferencing Value
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 31
(4
), pp. 550
–566
.33.
Mokhtarian
, H.
, Coatanéa
, E.
, and Paris
, H.
, 2017
, “Function Modeling Combined with Physics-Based Reasoning for Assessing Design Options and Supporting Innovative Ideation
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 31
(4
), pp. 476
–500
.34.
Murphy
, A. R.
, Banks
, H. D.
, Nagel
, R. L.
, and Linsey
, J. S.
, 2019
, “Graduate Students’ Mental Models: An Investigation Into the Role of Function in Systems Understanding
,” Proceedings of the ASME Design Engineering Technical Conference
, Anaheim, CA
, Aug. 18–21
, American Society of Mechanical Engineers (ASME), p. V007T06A024
.35.
Iwasaki
, Y.
, Vescovi
, M.
, Fikes
, R.
, and Chandrasekaran
, B.
, 1995
, “Causal Functional Representation Language With Behavior-Based Semantics
,” Appl. Artif. Intell. Int. J.
, 9
(1
), pp. 5
–31
. 36.
Lai
, K.
, and Wilson
, W. R. D.
, 1989
, “FDL—A Language for Function Description and Rationalization in Mechanical Design
,” ASME J. Mech. Trans. Autom. Des.
, 111
(1
), pp. 117
–123
. 37.
Hundal
, M.
, 1990
, “A Systematic Method for Developing Function Structures, Solutions and Concept Variants
,” Mech. Mach. Theory
, 25
(3
), pp. 243
–256
. 38.
Murdock
, J. W.
, Szykman
, S.
, and Sriram
, R. D.
, 1997
, “An Information Modeling Framework to Support Design Databases and Repositories
,” 1997 ASME Design Engineering Technical Conferences
, Sacramento, CA
, Sept. 14–17
, pp. 14
–17
.39.
Kurfman
, M. A.
, Stone
, R. B.
, Rajan
, J. R.
, and Wood
, K. L.
, 2001
, “Functional Modeling Experimental Studies
,” Proceedings of the ASME 2001 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. Volume 4: 13th International Conference on Design Theory and Methodology
, Pittsburgh, PA
, Sept. 9–12
, pp. 267
–279
.40.
Sridharan
, P.
, and Campbell
, M. I.
, 2004
, “A Grammar for Function Structures
,” Proceedings of the ASME 2004 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
, Salt Lake City, UT
, Sept. 28–Oct. 2
, pp. 41
–55
.41.
Sridharan
, P.
, and Campbell
, M. I.
, 2005
, “A Study on the Grammatical Construction of Function Structures
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 19
(3
), pp. 139
–160
.42.
Kirschman
, C. F.
, Fadel
, G. M.
, and Jara-Almonte
, C. C.
, 1998
, “Classifying Functions for Mechanical Design
,” ASME J. Mech. Des.
, 120
(3
), pp. 475
–482
. 43.
Bohm
, M. R.
, Vucovich
, J. P.
, and Stone
, R. B.
, 2008
, “Using a Design Repository to Drive Concept Generation
,” ASME J. Comput. Inf. Sci. Eng.
, 8
(1
), p. 014502
. 44.
Bohm
, M. R.
, and Stone
, R. B.
, 2004
, “Product Design Support: Exploring a Design Repository System
,” Proceedings of the ASME 2004 International Mechanical Engineering Congress and Exposition. Computers and Information in Engineering
, Anaheim, CA
, Nov. 13–19
, pp. 55
–65
.45.
Bohm
, M. R.
, Vucovich
, J. P.
, and Stone
, R. B.
, 2005
, “Capturing Creativity: Using a Design Repository to Drive Concept Innovation
,” Proceedings of the ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. Volume 3: 25th Computers and Information in Engineering Conference, Parts A and B
, ASME
, Long Beach, CA
, Sept. 24–28
, Paper No. DETC2005-85105, pp. 331
–342
.46.
Caldwell
, B. W.
, Thomas
, J. E.
, Sen
, C.
, Mocko
, G. M.
, and Summers
, J. D.
, 2012
, “The Effects of Language and Pruning on Function Structure Interpretability
,” ASME J. Mech. Des.
, 134
(6
), p. 061001
. 47.
Caldwell
, B. W.
, Sen
, C.
, Mocko
, G. M.
, and Summers
, J. D.
, 2011
, “An Empirical Study of the Expressiveness of the Functional Basis
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 25
(3
), pp. 273
–287
. 48.
Sen
, C.
, Caldwell
, B. W.
, Summers
, J. D.
, and Mocko
, G. M.
, 2010
, “Topological Information Content and Expressiveness of Function Models in Mechanical Design
,” ASME J. Comput. Inf. Sci. Eng.
, 10
(3
), pp. 381
–394
.49.
Volker
, J.
, 2009
, Learning Expressive Ontologies
, IOS Press
, Heidelberg, Germany
.50.
Kurtoglu
, T.
, Swantner
, A.
, and Campbell
, M. I.
, 2010
, “Automating the Conceptual Design Process: ‘From Black Box to Component Selection,’
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 24
(1
), pp. 49
–62
.51.
Mao
, X.
, and Sen
, C.
, 2018
, “Physics-Based Semantic Reasoning for Function Model Decomposition
,” ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
, Quebec City, Canada,
Aug. 26–29
, ASME Paper No. DETC2018-86273, p. V01AT02A029
.52.
McAdams
, D. A.
, Stone
, R. B.
, and Wood
, K. L.
, 1999
, “Functional Interdependence and Product Similarity Based on Customer Needs
,” Res. Eng. Des.
, 11
(1
), pp. 1
–19
.53.
Gill
, A. S.
, and Sen
, C.
, 2020
, “Evolutionary Approach to Function Model Synthesis: Development of Parameterization and Synthesis Rules
,” Proceedings of the ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE2020
, Virtual, Online
, Aug. 17–19
, p. V009T09A062
.54.
Mikes
, A.
, Edmonds
, K.
, Stone
, R. B.
, and Dupont
, B.
, 2020
, “Optimizing an Algorithm for Data Mining a Design Repository to Automate Functional Modeling
,” Proceedings of the ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE2020
, Virtual, Online
.55.
Gero
, J. S.
, and Kannengiesser
, U.
, 2000
, “Towards a Situated Function-Behaviour-Structure Framework as the Basis of a Theory of Designing
,” Workshop on Development and Application of Design Theories in AI in Design Research, Sixth International Conference on Artificial Intelligence in Design
, Worcester, MA
.56.
Mao
, X.
, and Sen
, C.
, 2019
, “Semantic and Qualitative Physics-Based Reasoning on Plain-English Flow Terms for Generating Function Model Alternatives
,” ASME J. Comput. Inf. Sci. Eng.
, 20
(4
), p. 041006
. 57.
Sen
, C.
, Summers
, J. D.
, and Mocko
, G. M.
, 2011
, “Exploring Potentials for Conservational Reasoning Using Topologic Rules of Function Structure Graphs
,” Proceedings of the 18th International Conference on Engineering Design (ICED 11), Impacting Society Through Engineering Design
, Aug. 15–18
, Technical University of Denmark, pp. 377
–388
.58.
Chandrasekaran
, B.
, and Josephson
, J. R.
, 2000
, “Function in Device Representation
,” Eng. Comput.
, 16
(3–4
), pp. 162
–177
. 59.
Deng
, Y. M.
, 2002
, “Function and Behavior Representation in Conceptual Mechanical Design
,” Artif. Intell. Eng. Des. Anal. Manuf., Analysis and Manufacturing: AIEDAM
, 16
(5
), pp. 343
–362
.60.
Chen
, Y.
, Zhang
, Z.
, Huang
, J.
, and Xie
, Y.
, 2013
, “Toward a Scientific Ontology Based Concept of Function
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 27
(3
), pp. 241
–248
.61.
Xu
, C.
, Gupta
, S. K.
, Yao
, Z.
, Gruninger
, M.
, and Sriram
, R. D.
, 2005
, “Toward Computer-Aided Conceptual Design of Mechatronic Devices With Multiple Interaction-States
,” Proceedings of the ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. Volume 3: 25th Computers and Information in Engineering Conference, Parts A and B.
, Long Beach, CA
, Sept. 24–28,
Paper No. DETC2005-85410, pp. 455
–467
.62.
Umarikar
, A. C.
, and Umanand
, L.
, 2005
, “Modelling of Switching Systems in Bond Graphs Using the Concept of Switched Power Junctions
,” J. Franklin Inst.
, 342
(2
), pp. 131
–147
. 63.
Mosterman
, P. J.
, and Biswas
, G.
, 1994
, “Behavior Generation Using Model Switching A Hybrid Bond Graph Modeling Technique
,” Simul. Ser.
, 27
(177
), pp. 16
–48
.64.
Hrovat
, D.
, and Tobler
, W. E.
, 1991
, “Bond Graph Modeling of Automotive Power Trains
,” J. Franklin Inst.
, 328
(5–6
), pp. 623
–662
. 65.
Deur
, J.
, Ivanović
, V.
, Assadian
, F.
, Kuang
, M.
, Tseng
, E. H.
, and Hrovat
, D.
, 2012
, “Bond Graph Modeling of Automotive Transmissions and Drivelines
,” IFAC Proceedings Volumes
, pp. 427
–432
.66.
Yildirim
, U.
, Campean
, F.
, and Williams
, H.
, 2017
, “Function Modeling Using the System State Flow Diagram
,” Artif. Intell. Eng. Des. Anal. Manuf.
, 31
(4
), pp. 413
–435
.67.
Eisenbart
, B.
, Gericke
, K.
, and Blessing
, L.
, 2013
, “Adapting the IFM Framework to Functional Approaches Across Disciplines
,” Proceedings of the International Conference on Engineering Design, ICED
, pp. 163
–172
.68.
Vucovich
, J.
, Bhardwaj
, N.
, Ho
, H. H.
, Ramakrishna
, M.
, Thakur
, M.
, and Stone
, R.
, 2006
, “Concept Generation Algorithms for Repository-Based Early Design
,” Proceedings of the ASME Design Engineering Technical Conference
, Melbourne, Australia
, Sept. 15–18
, American Society of Mechanical Engineers Digital Collection
, pp. 239
–249
.69.
Ishii
, M.
, and Tomiyama
, T.
, 1996
, “A Synthetic Reasoning Method Based on a Physical Phenomenon Knowledge Base,” AI System Support for Conceptual Design
, J. E. E.
Sharpe
, ed., Springer
, London
, pp. 109
–123
.70.
Graves
, H.
, 2012
, “Integrating Reasoning With SysML
,” INCOSE International Symposium
, John Wiley & Sons, Ltd
, pp. 2228
–2242
.71.
Wang
, H.
, Zhong
, D.
, Zhao
, T.
, and Ren
, F.
, 2019
, “Integrating Model Checking With SysML in Complex System Safety Analysis
,” IEEE Access
, 7
, pp. 16561
–16571
. 72.
Jenkins
, J.
, and Rouquette
, N.
, 2012
, “Semantically-Rigorous Systems Engineering Modeling Using SysML and OWL
,” 5th International Workshop on Systems & Concurrent Engineering for Space Applications
, Lisbon, Portugal
, Oct. 17–19
.73.
Chakrabarti
, A.
, 2001
, “Sharing in Design-Categories, Importance, and Issues
,” International Conference on Engineering Design (ICED)
, pp. 21
–23
.74.
Buur
, J.
, and Andreasen
, M. M.
, 1990
, A Theoretical Approach to Mechatronics Design
, Technical University of Denmark
, Lyngby, Denmark
.75.
Nagel
, R. L.
, Stone
, R. B.
, Hutcheson
, R. S.
, McAdams
, D. A.
, and Donndelinger
, J. A.
, 2008
, “Function Design Framework (FDF): Integrated Process and Function Modeling for Complex Systems
,” Proceedings of the ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. Volume 4: 20th International Conference on Design Theory and Methodology; Second International Conference on Micro
, Brooklyn, NY
, Aug. 3–6
, pp. 273
–286
.76.
Liu
, C.
, Hildre
, H. P.
, Zhang
, H.
, and Rølvåg
, T.
, 2015
, “Conceptual Design of Multi-modal Products
,” Res. Eng. Des.
, 26
(3
), pp. 219
–234
. 77.
Sen
, C.
, Summers
, J. D.
, and Mocko
, G. M.
, 2012
, “A Formal Representation of Function Structure Graphs for Computer-Directed Modeling and Conservation-Based Reasoning
,” ASME J. Comput. Inf. Sci. Eng.
, 13
(2
), p. 21001
. 78.
Sen
, C.
, 2016
, “Feature-Based Computer Modeling and Reasoning on Mechanical Functions
,” Proceedings of the ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. Volume 1B: 36th Computers and Information in Engineering Conference
, Charlotte, NC
, Aug. 21–24
, p. V01BT02A008
.79.
Sen
, C.
, 2011
, A Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design
, Clemson University
, Clemson, SC
.80.
Venkatanarasimhan
, L. N. A.
, and Chowdhury
, A.
, 2020
, “A Vocabulary of Function Features for Computer Aided Modeling of Thermal-Fluid Systems
,” Proceedings of the ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE2020.
, Virtual, Online
, Aug. 17–19
, p. V009T09A036
.81.
Venkatanarasimhan
, L. N. A.
, Mao
, X.
, Chowdhury
, A.
, and Sen
, C.
, 2019
, “Physics-Based Function Features for a Set of Material-Processing Verbs
,” Proceedings of the ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
, Anaheim, CA
, Aug. 18–21
, American Society of Mechanical Engineers (ASME)
, p. V001T02A031
.82.
Moran
, M. J.
, Shapiro
, H. N.
, Boettner
, D. D.
, and Bailey
, M. B.
, 2010
, Fundamentals of Engineering Thermodynamics
, John Wiley & Sons
, New York
.83.
Sen
, C.
, Summers
, J. D.
, and Mocko
, G. M.
, 2013
, “A Formal Representation of Function Structure Graphs for Physics-Based Reasoning
,” ASME J. Comput. Inf. Sci. Eng.
, 13
(2
), p. 021001
. 84.
Nagel
, R. L.
, Vucovich
, J. P.
, Stone
, R. B.
, and Mcadams
, D. A.
, 2008
, “A Signal Grammar to Guide Functional Modeling of Electromechanical Products
,” ASME J. Mech. Des.
, 130
(5
), p. 051101
. 85.
Sen
, C.
, Summers
, J. D.
, and Mocko
, G. M.
, 2011
, “A Protocol to Formalise Function Verbs to Support Conservation-Based Model Checking
,” J. Eng. Des.
, 22
(11–12
), pp. 765
–788
. Copyright © 2021 by ASME
You do not currently have access to this content.
