{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T12:55:23Z","timestamp":1753880123666,"version":"3.41.2"},"reference-count":85,"publisher":"ASME International","issue":"1","license":[{"start":{"date-parts":[[2021,7,14]],"date-time":"2021-07-14T00:00:00Z","timestamp":1626220800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.asme.org\/publications-submissions\/publishing-information\/legal-policies"}],"content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>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\u2019 modeling and reasoning ability, in terms of cause-and-effect propagation and the systems\u2019 transition between operational modes.<\/jats:p>","DOI":"10.1115\/1.4051159","type":"journal-article","created":{"date-parts":[[2021,5,12]],"date-time":"2021-05-12T08:20:43Z","timestamp":1620807643000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":5,"title":["Finite-State Automata-Based Representation of Device States for Function Modeling of Multimodal Devices"],"prefix":"10.1115","volume":"22","author":[{"given":"Ahmed","family":"Chowdhury","sequence":"first","affiliation":[{"name":"Department of MCE, Florida Institute of Technology, 150 W. University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lakshmi N.A.","family":"Venkatanarasimhan","sequence":"additional","affiliation":[{"name":"Department of MCE, Florida Institute of Technology, 150 W. University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiradeep","family":"Sen","sequence":"additional","affiliation":[{"name":"Department of MCE, Florida Institute of Technology, 150 W. University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2021,7,14]]},"reference":[{"key":"2021071410152217000_CIT0001","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84628-319-2","volume-title":"Engineering Design: A Systematic Approach","author":"Pahl","year":"2007"},{"volume-title":"The Mechanical Design Process","year":"1992","author":"Ullman","key":"2021071410152217000_CIT0002"},{"volume-title":"Product Design\u202f: Techniques in Reverse Engineering and New Product Development","year":"2001","author":"Otto","key":"2021071410152217000_CIT0003"},{"issue":"2","key":"2021071410152217000_CIT0004","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0956-5663(92)90013-D","article-title":"Product Design and Development","volume":"7","author":"Aston","year":"1992","journal-title":"Biosens. Bioelectron."},{"issue":"7","key":"2021071410152217000_CIT0005","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1016\/j.cad.2007.09.003","article-title":"Introduction of a Data Schema to Support a Design Repository","volume":"40","author":"Bohm","year":"2008","journal-title":"Comput.-Aided Des."},{"key":"2021071410152217000_CIT0006","first-page":"129","article-title":"Signal Flow Grammar From the Functional Basis","author":"Nagel","year":"2007"},{"issue":"1","key":"2021071410152217000_CIT0007","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/s0890060409990187","article-title":"Evaluation of the Functional Basis Using an Information Theoretic Approach","volume":"24","author":"Sen","year":"2010","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"3","key":"2021071410152217000_CIT0008","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1115\/1.1862678","article-title":"The Function-Failure Design Method","volume":"127","author":"Stone","year":"2005","journal-title":"ASME J. Mech. Des."},{"key":"2021071410152217000_CIT0009","first-page":"591","article-title":"Function CAD: A Functional Modeling Application Based on the Function Design Framework","author":"Nagel","year":"2009"},{"key":"2021071410152217000_CIT0010","first-page":"351","article-title":"Transformation Facilitators: A Quantitative Analysis of Reconfigurable Products and Their Characteristics","author":"Weaver","year":"2008"},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","year":"2008","author":"Hopcroft","key":"2021071410152217000_CIT0011"},{"issue":"2","key":"2021071410152217000_CIT0012","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s00163-001-0008-3","article-title":"A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts","volume":"13","author":"Hirtz","year":"2002","journal-title":"Res. Eng. Des."},{"issue":"2","key":"2021071410152217000_CIT0013","first-page":"75","article-title":"Functional Reasoning Theories: Problems and Perspectives","volume":"19","author":"Far","year":"2006","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"4","key":"2021071410152217000_CIT0014","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/j.destud.2003.10.010","article-title":"The Situated Function-Behaviour-Structure Framework","volume":"25","author":"Gero","year":"2004","journal-title":"Des. Stud."},{"key":"2021071410152217000_CIT0015","first-page":"227","article-title":"Functional Decomposition in Engineering: A Survey","author":"Van Eck","year":"2008"},{"issue":"14","key":"2021071410152217000_CIT0016","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0010-4485(00)00077-4","article-title":"Constraint-Based Functional Design Verification for Conceptual Design","volume":"32","author":"Deng","year":"2000","journal-title":"Comput.-Aided Des."},{"issue":"4","key":"2021071410152217000_CIT0017","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1115\/1.1289637","article-title":"Development of a Functional Basis for Design","volume":"122","author":"Stone","year":"2000","journal-title":"ASME J. Mech. Des."},{"issue":"4","key":"2021071410152217000_CIT0018","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/s001639870003","article-title":"A Reverse Engineering and Redesign Methodology for Product Evolution","volume":"10","author":"Otto","year":"1998","journal-title":"Res. Eng. Des."},{"issue":"04","key":"2021071410152217000_CIT0019","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1017\/S0890060400001621","article-title":"Supporting Conceptual Design Based on the Function-Behavior-State Modeler","volume":"10","author":"Umeda","year":"1996","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"4","key":"2021071410152217000_CIT0020","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1080\/09544820410001697163","article-title":"Ontology-Based Systematization of Functional Knowledge","volume":"15","author":"Kitamura","year":"2004","journal-title":"J. Eng. Des."},{"issue":"2","key":"2021071410152217000_CIT0021","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.aei.2004.09.003","article-title":"Use of Design Patterns in Analogy-Based Design","volume":"18","author":"Goel","year":"2004","journal-title":"Adv. Eng. Inform."},{"issue":"4","key":"2021071410152217000_CIT0022","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1017\/S0890060400001657","article-title":"Functional Descriptions Used in Computer Support for Qualitative Scheme Generation\u2014\u2018Schemebuilder\u2019","volume":"10","author":"Bracewell","year":"1996","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"1","key":"2021071410152217000_CIT0023","doi-asserted-by":"publisher","first-page":"011008","DOI":"10.1115\/1.4023488","article-title":"Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs","volume":"13","author":"Sen","year":"2013","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"key":"2021071410152217000_CIT0024","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-30817-8_9","volume-title":"Smart Product Engineering","author":"Albers","year":"2013"},{"issue":"5","key":"2021071410152217000_CIT0025","doi-asserted-by":"publisher","first-page":"051401","DOI":"10.1115\/1.2885181","article-title":"A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems","volume":"130","author":"Kurtoglu","year":"2008","journal-title":"ASME J. Mech. Des."},{"issue":"1\u20132","key":"2021071410152217000_CIT0026","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/s00163-005-0005-z","article-title":"Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design","volume":"16","author":"Stone","year":"2005","journal-title":"Res. Eng. Des."},{"issue":"1","key":"2021071410152217000_CIT0027","doi-asserted-by":"publisher","first-page":"1734","DOI":"10.1002\/j.2334-5837.2017.00459.x","article-title":"A Graph Theory Approach to Functional Failure Propagation in Early Complex Cyber-Physical Systems (CCPSs)","volume":"27","author":"O\u2019Halloran","year":"2017","journal-title":"INCOSE Int. Sym."},{"issue":"2","key":"2021071410152217000_CIT0028","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1115\/1.1475317","article-title":"A Quantitative Similarity Metric for Design-by-Analogy","volume":"124","author":"Mcadams","year":"2002","journal-title":"ASME J. Mech. Des."},{"issue":"4","key":"2021071410152217000_CIT0029","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1017\/S0890060417000488","article-title":"Transforming Functional Models to Critical Chain Models via Expert Knowledge and Automatic Parsing Rules for Design Analogy Identification","volume":"31","author":"Agyemang","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021071410152217000_CIT0030","doi-asserted-by":"publisher","first-page":"103154","DOI":"10.1016\/j.compind.2019.103154","article-title":"A New Function-Based Patent Knowledge Retrieval Tool for Conceptual Design of Innovative Products","volume":"115","author":"Liu","year":"2020","journal-title":"Comput. Ind."},{"key":"2021071410152217000_CIT0031","first-page":"55","article-title":"Complexity as a Surrogate Mapping Between Function Models and Market Value","author":"Mathieson","year":"2011"},{"issue":"4","key":"2021071410152217000_CIT0032","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1017\/S0890060417000543","article-title":"Comparing Function Structures and Pruned Function Structures for Market Price Prediction: An Approach to Benchmarking Representation Inferencing Value","volume":"31","author":"Gill","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"4","key":"2021071410152217000_CIT0033","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1017\/S0890060417000403","article-title":"Function Modeling Combined with Physics-Based Reasoning for Assessing Design Options and Supporting Innovative Ideation","volume":"31","author":"Mokhtarian","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021071410152217000_CIT0034","first-page":"V007T06A024","article-title":"Graduate Students\u2019 Mental Models: An Investigation Into the Role of Function in Systems Understanding","author":"Murphy","year":"2019"},{"issue":"1","key":"2021071410152217000_CIT0035","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1080\/08839519508945465","article-title":"Causal Functional Representation Language With Behavior-Based Semantics","volume":"9","author":"Iwasaki","year":"1995","journal-title":"Appl. Artif. Intell. Int. J."},{"issue":"1","key":"2021071410152217000_CIT0036","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1115\/1.3258954","article-title":"FDL\u2014A Language for Function Description and Rationalization in Mechanical Design","volume":"111","author":"Lai","year":"1989","journal-title":"ASME J. Mech. Trans. Autom. Des."},{"issue":"3","key":"2021071410152217000_CIT0037","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0094-114X(90)90027-H","article-title":"A Systematic Method for Developing Function Structures, Solutions and Concept Variants","volume":"25","author":"Hundal","year":"1990","journal-title":"Mech. Mach. Theory"},{"key":"2021071410152217000_CIT0038","first-page":"14","article-title":"An Information Modeling Framework to Support Design Databases and Repositories","author":"Murdock","year":"1997"},{"key":"2021071410152217000_CIT0039","first-page":"267","article-title":"Functional Modeling Experimental Studies","author":"Kurfman","year":"2001"},{"key":"2021071410152217000_CIT0040","first-page":"41","article-title":"A Grammar for Function Structures","author":"Sridharan","year":"2004"},{"issue":"3","key":"2021071410152217000_CIT0041","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1017\/S0890060405050110","article-title":"A Study on the Grammatical Construction of Function Structures","volume":"19","author":"Sridharan","year":"2005","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"3","key":"2021071410152217000_CIT0042","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1115\/1.2829176","article-title":"Classifying Functions for Mechanical Design","volume":"120","author":"Kirschman","year":"1998","journal-title":"ASME J. Mech. Des."},{"issue":"1","key":"2021071410152217000_CIT0043","doi-asserted-by":"publisher","first-page":"014502","DOI":"10.1115\/1.2830844","article-title":"Using a Design Repository to Drive Concept Generation","volume":"8","author":"Bohm","year":"2008","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"key":"2021071410152217000_CIT0044","first-page":"55","article-title":"Product Design Support: Exploring a Design Repository System","author":"Bohm","year":"2004"},{"key":"2021071410152217000_CIT0045","first-page":"331","article-title":"Capturing Creativity: Using a Design Repository to Drive Concept Innovation","author":"Bohm","year":"2005"},{"issue":"6","key":"2021071410152217000_CIT0046","doi-asserted-by":"publisher","first-page":"061001","DOI":"10.1115\/1.4006442","article-title":"The Effects of Language and Pruning on Function Structure Interpretability","volume":"134","author":"Caldwell","year":"2012","journal-title":"ASME J. Mech. Des."},{"issue":"3","key":"2021071410152217000_CIT0047","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1017\/S0890060410000442","article-title":"An Empirical Study of the Expressiveness of the Functional Basis","volume":"25","author":"Caldwell","year":"2011","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"3","key":"2021071410152217000_CIT0048","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1115\/1.3462918","article-title":"Topological Information Content and Expressiveness of Function Models in Mechanical Design","volume":"10","author":"Sen","year":"2010","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"volume-title":"Learning Expressive Ontologies","year":"2009","author":"Volker","key":"2021071410152217000_CIT0049"},{"issue":"1","key":"2021071410152217000_CIT0050","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0890060409990163","article-title":"Automating the Conceptual Design Process: \u2018From Black Box to Component Selection,\u2019","volume":"24","author":"Kurtoglu","year":"2010","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021071410152217000_CIT0051","first-page":"V01AT02A029","article-title":"Physics-Based Semantic Reasoning for Function Model Decomposition","author":"Mao","year":"2018"},{"issue":"1","key":"2021071410152217000_CIT0052","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s001630050001","article-title":"Functional Interdependence and Product Similarity Based on Customer Needs","volume":"11","author":"McAdams","year":"1999","journal-title":"Res. Eng. Des."},{"key":"2021071410152217000_CIT0053","first-page":"V009T09A062","article-title":"Evolutionary Approach to Function Model Synthesis: Development of Parameterization and Synthesis Rules","author":"Gill","year":"2020"},{"key":"2021071410152217000_CIT0054","doi-asserted-by":"crossref","DOI":"10.1115\/DETC2020-22346","article-title":"Optimizing an Algorithm for Data Mining a Design Repository to Automate Functional Modeling","author":"Mikes","year":"2020"},{"article-title":"Towards a Situated Function-Behaviour-Structure Framework as the Basis of a Theory of Designing","year":"2000","author":"Gero","key":"2021071410152217000_CIT0055"},{"issue":"4","key":"2021071410152217000_CIT0056","doi-asserted-by":"publisher","first-page":"041006","DOI":"10.1115\/1.4045288","article-title":"Semantic and Qualitative Physics-Based Reasoning on Plain-English Flow Terms for Generating Function Model Alternatives","volume":"20","author":"Mao","year":"2019","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"key":"2021071410152217000_CIT0057","first-page":"377","article-title":"Exploring Potentials for Conservational Reasoning Using Topologic Rules of Function Structure Graphs","author":"Sen","year":"2011"},{"issue":"3\u20134","key":"2021071410152217000_CIT0058","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/s003660070003","article-title":"Function in Device Representation","volume":"16","author":"Chandrasekaran","year":"2000","journal-title":"Eng. Comput."},{"issue":"5","key":"2021071410152217000_CIT0059","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1017\/S0890060402165024","article-title":"Function and Behavior Representation in Conceptual Mechanical Design","volume":"16","author":"Deng","year":"2002","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf., Analysis and Manufacturing: AIEDAM"},{"issue":"3","key":"2021071410152217000_CIT0060","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1017\/S0890060413000243","article-title":"Toward a Scientific Ontology Based Concept of Function","volume":"27","author":"Chen","year":"2013","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021071410152217000_CIT0061","first-page":"455","article-title":"Toward Computer-Aided Conceptual Design of Mechatronic Devices With Multiple Interaction-States","author":"Xu","year":"2005"},{"issue":"2","key":"2021071410152217000_CIT0062","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.jfranklin.2004.08.005","article-title":"Modelling of Switching Systems in Bond Graphs Using the Concept of Switched Power Junctions","volume":"342","author":"Umarikar","year":"2005","journal-title":"J. Franklin Inst."},{"issue":"177","key":"2021071410152217000_CIT0063","first-page":"16","article-title":"Behavior Generation Using Model Switching A Hybrid Bond Graph Modeling Technique","volume":"27","author":"Mosterman","year":"1994","journal-title":"Simul. Ser."},{"issue":"5\u20136","key":"2021071410152217000_CIT0064","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1016\/0016-0032(91)90046-6","article-title":"Bond Graph Modeling of Automotive Power Trains","volume":"328","author":"Hrovat","year":"1991","journal-title":"J. Franklin Inst."},{"key":"2021071410152217000_CIT0065","first-page":"427","article-title":"Bond Graph Modeling of Automotive Transmissions and Drivelines","author":"Deur","year":"2012"},{"issue":"4","key":"2021071410152217000_CIT0066","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1017\/S0890060417000294","article-title":"Function Modeling Using the System State Flow Diagram","volume":"31","author":"Yildirim","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021071410152217000_CIT0067","first-page":"163","article-title":"Adapting the IFM Framework to Functional Approaches Across Disciplines","author":"Eisenbart","year":"2013"},{"key":"2021071410152217000_CIT0068","first-page":"239","article-title":"Concept Generation Algorithms for Repository-Based Early Design","author":"Vucovich","year":"2006"},{"key":"2021071410152217000_CIT0069","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-1-4471-1475-8_7","volume-title":"AI System Support for Conceptual Design","author":"Ishii","year":"1996"},{"key":"2021071410152217000_CIT0070","first-page":"2228","article-title":"Integrating Reasoning With SysML","author":"Graves","year":"2012"},{"key":"2021071410152217000_CIT0071","doi-asserted-by":"publisher","first-page":"16561","DOI":"10.1109\/ACCESS.2019.2892745","article-title":"Integrating Model Checking With SysML in Complex System Safety Analysis","volume":"7","author":"Wang","year":"2019","journal-title":"IEEE Access"},{"article-title":"Semantically-Rigorous Systems Engineering Modeling Using SysML and OWL","year":"2012","author":"Jenkins","key":"2021071410152217000_CIT0072"},{"key":"2021071410152217000_CIT0073","first-page":"21","article-title":"Sharing in Design-Categories, Importance, and Issues","author":"Chakrabarti","year":"2001"},{"volume-title":"A Theoretical Approach to Mechatronics Design","year":"1990","author":"Buur","key":"2021071410152217000_CIT0074"},{"key":"2021071410152217000_CIT0075","first-page":"273","article-title":"Function Design Framework (FDF): Integrated Process and Function Modeling for Complex Systems","author":"Nagel","year":"2008"},{"issue":"3","key":"2021071410152217000_CIT0076","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s00163-015-0193-0","article-title":"Conceptual Design of Multi-modal Products","volume":"26","author":"Liu","year":"2015","journal-title":"Res. Eng. Des."},{"issue":"2","key":"2021071410152217000_CIT0077","doi-asserted-by":"publisher","first-page":"21001","DOI":"10.1115\/1.4023167","article-title":"A Formal Representation of Function Structure Graphs for Computer-Directed Modeling and Conservation-Based Reasoning","volume":"13","author":"Sen","year":"2012","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"key":"2021071410152217000_CIT0078","first-page":"V01BT02A008","article-title":"Feature-Based Computer Modeling and Reasoning on Mechanical Functions","author":"Sen","year":"2016"},{"volume-title":"A Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design","year":"2011","author":"Sen","key":"2021071410152217000_CIT0079"},{"key":"2021071410152217000_CIT0080","first-page":"V009T09A036","article-title":"A Vocabulary of Function Features for Computer Aided Modeling of Thermal-Fluid Systems","author":"Venkatanarasimhan","year":"2020"},{"key":"2021071410152217000_CIT0081","first-page":"V001T02A031","article-title":"Physics-Based Function Features for a Set of Material-Processing Verbs","author":"Venkatanarasimhan","year":"2019"},{"volume-title":"Fundamentals of Engineering Thermodynamics","year":"2010","author":"Moran","key":"2021071410152217000_CIT0082"},{"issue":"2","key":"2021071410152217000_CIT0083","doi-asserted-by":"publisher","first-page":"021001","DOI":"10.1115\/1.4023167","article-title":"A Formal Representation of Function Structure Graphs for Physics-Based Reasoning","volume":"13","author":"Sen","year":"2013","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"5","key":"2021071410152217000_CIT0084","doi-asserted-by":"publisher","first-page":"051101","DOI":"10.1115\/1.2885185","article-title":"A Signal Grammar to Guide Functional Modeling of Electromechanical Products","volume":"130","author":"Nagel","year":"2008","journal-title":"ASME J. Mech. Des."},{"issue":"11\u201312","key":"2021071410152217000_CIT0085","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1080\/09544828.2011.603295","article-title":"A Protocol to Formalise Function Verbs to Support Conservation-Based Model Checking","volume":"22","author":"Sen","year":"2011","journal-title":"J. Eng. Des."}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/22\/1\/011008\/6728981\/jcise_22_1_011008.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/22\/1\/011008\/6728981\/jcise_22_1_011008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,14]],"date-time":"2021-07-14T10:16:01Z","timestamp":1626257761000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/22\/1\/011008\/1109210\/Finite-State-Automata-Based-Representation-of"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,14]]},"references-count":85,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4051159","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2021,7,14]]},"article-number":"011008"}}