{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T09:37:27Z","timestamp":1781861847971,"version":"3.54.5"},"reference-count":41,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2021,12,20]],"date-time":"2021-12-20T00:00:00Z","timestamp":1639958400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>The DEVS formalism has been recognized to support generic open architectures that allow incorporating multiple engineering domains within integrated simulation models. What is missing for accelerated adoption of DEVS-based methodology for intelligent cyberphysical system design is a set of building blocks and architectural patterns that can be replicated and reused in system development. As a start in this direction, this paper offers a notional architecture for intelligent hybrid cyberphysical system design and proceeds to focus on the decision layer to consider DEVS models for basic behaviors such as choice of alternatives, perception of temporal event relations, and recognition and generation of finite state languages cast into DEVS time segments. We proceed to describe a methodology to define DEVS-based building blocks and architectural patterns for design of systems employing fast, frugal, and accurate heuristics. We identify some elements of this kind and establish their status as minimal realizations of their defined behaviors. As minimal realizations such designs must ipso facto underlie any implementation of the same cognitive behaviors. We discuss architectures drawn from the cognitive science literature to show that the fundamental elements drawn from the fast, frugal, and accurate paradigm provide insights into intelligent hybrid cyberphysical system design. We close with open questions and research needed to confirm the proposed concepts.<\/jats:p>","DOI":"10.3390\/info12120531","type":"journal-article","created":{"date-parts":[[2021,12,20]],"date-time":"2021-12-20T08:43:32Z","timestamp":1639989812000},"page":"531","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["DEVS-Based Building Blocks and Architectural Patterns for Intelligent Hybrid Cyberphysical System Design"],"prefix":"10.3390","volume":"12","author":[{"given":"Bernard","family":"Zeigler","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Arizona, Tucson, AZ 85721, USA"},{"name":"RTSync Corp., Chandler, AZ 85226, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2021,12,20]]},"reference":[{"key":"ref_1","unstructured":"Zeigler, B.P., Muzy, A., and Kofman, E. (2018). Theory of Modeling and Simulation: Discrete Event Iterative System Computational Foundations, Academic Press."},{"key":"ref_2","unstructured":"Zaft, G.C., and Zeigler, B.P. (2002). Discrete Event Simulation and Social Science: The XeriScape Artificial Society. SCI 2002, SCS Publications."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., and Muzy, A. (2017). Temporal Modeling of Neural Net Input\/Output Behaviors: The Case of XOR. Systems, 5.","DOI":"10.3390\/systems5010007"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"012019","DOI":"10.1088\/1755-1315\/410\/1\/012019","article-title":"Energy efficient operation of industrial facilities: The role of the building in simulation-based optimization","volume":"410","author":"Gourlis","year":"2020","journal-title":"IOP Conf. Ser. Earth Environ. Sci."},{"key":"ref_5","unstructured":"Mittal, S., and Risco-Martin, J.L. (2016, January 24\u201327). DEVSML Studio: A framework for integrating domain-specific languages for discrete and continuous hybrid systems into DEVS-Based M&S environment. Proceedings of the Summer Computer Simulation Conference, Montreal, QC, Canada."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Mittal, S., and Tolk, A. (2018). Complexity Challenges in Cyber Physical Systems, Wiley.","DOI":"10.1002\/9781119552482"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Tolk, A., and Oren, T. (2017). The practice of modeling and simulation in cyber environments. The Profession of Modeling and Simulation, Wiley.","DOI":"10.1002\/9781119288091"},{"key":"ref_8","unstructured":"Vangheluwe, H. (2000, January 25\u201327). DEVS as a common denominator for multi-formalism hybrid systems modelling. Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, Anchorage, AK, USA."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Zeigler, B., and Kim, D. (2019). Multi-Resolution Modeling for Adaptive UAV Service Systems, ANSS.","DOI":"10.23919\/SpringSim.2019.8732861"},{"key":"ref_10","unstructured":"Zeigler, B.P. (2020, January 18\u201321). Hybrid Iterative System Specification of Cyberphysical Systems: Neurocognitive Behavior Application. Proceedings of the 2020 Spring Simulation Conference (SpringSim), Virtual Conference."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P. (2004). Discrete Event Abstraction: An Emerging Paradigm for Modeling Complex Adaptive Systems. Perspectives on Adaptation in Natural and Artificial Systems, Oxford University Press.","DOI":"10.1093\/oso\/9780195162929.003.0012"},{"key":"ref_12","unstructured":"Connolly, T. (2000). Reasoning the Fast and Frugal Way: Models of Bounded Rationality. Judgment and Decision Making, Cambridge University Press."},{"key":"ref_13","unstructured":"Gigerenzer, G., and Todd, P.M. (1999). Simple Heuristics That Make Us Smart, Oxford University Press."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s11127-018-0587-4","article-title":"Fast, frugal and correct? An experimental study on the influence of time scarcity and quantity of information on the voter decision making process","volume":"177","author":"Chytilek","year":"2018","journal-title":"Public Choice"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/21.214766","article-title":"Abstracting Event-Based Control Models for High Autonomy Systems","volume":"23","author":"Luh","year":"1993","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"2982","DOI":"10.1109\/JSYST.2017.2728861","article-title":"Iterative Specification as a Modeling and Simulation Formalism for I\/O General Systems","volume":"12","author":"Muzy","year":"2017","journal-title":"IEEE Syst. J."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P. (1989). DEVS Representation of Dynamical Systems: Event-based Intelligent Control, IEEE.","DOI":"10.1109\/5.21071"},{"key":"ref_18","unstructured":"Pinker, S. (1997). How the Mind Works, W.W. Norton."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Seck, M., Frydman, C.F., and Giambiasi, N. (2004). Using DEVS for Modeling and Simulation of Human Behavior. International Conference on AI, Simulation, and Planning in High Autonomy Systems, Springer.","DOI":"10.1007\/978-3-540-30583-5_73"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Kleene, S.C. (1956). Representation of Events in Nerve Nets and Finite Automata, Princeton University Press. Automata Studies.","DOI":"10.1515\/9781400882618-002"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Maas, W., and Bishop, C.M. (1999). Pulsed Neural Networks, MIT Press.","DOI":"10.7551\/mitpress\/5704.001.0001"},{"key":"ref_22","unstructured":"Watts, L. (1994). Event-driven simulation of networks of spiking neurons. Advances in Neural Information Processing Systems, Morgan Kaufmann."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Delorme, A., Gautrais, J., van Rullen, R., and Thorpe, S. (1999). SpikeNET: A simulator for modeling large networks of integrate and fire neurons. Computational Neuronscience: Trends in Research, Elsevier Science.","DOI":"10.1016\/S0925-2312(99)00095-8"},{"key":"ref_24","unstructured":"Mascart, C., Scarella, G., Reynaud-Bouretb, P., and Muzy, A. (2021). Simulation scalability of large brain neuronal networks thanks to time asynchrony. Biorxiv."},{"key":"ref_25","unstructured":"Adegbija, T. (2022, January 10\u201314). DINGO: A Modeling Approach for Translating Spiking Neural Networks to Hardware Accelerators. Proceedings of the Design Automation Conference, San Francisco, CA, USA. in process."},{"key":"ref_26","unstructured":"Seo, C., Zeigler, B., Coop, R., and Kim, D. (2013, January 7\u201310). DEVS Modeling and Simulation Methodology with MS4Me Software TMS. Proceedings of the 2013 Spring Simulation Multiconference, San Diego, CA, USA."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., and Sarjoughian, H. (2017). Modeling and Simulation of Systems of Systems, Springer Pub. Co.","DOI":"10.1007\/978-3-319-64134-8_1"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Castro, S., Mosterman, P.J., Rajhans, A.H., and Valenti, R.G. (2019). Challenges in the Operation and Design of Intelligent Cyber-Physical Systems. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, John and Wiley and Sons.","DOI":"10.1002\/9781119552482.ch2"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Wach, P., Zeigler, B.P., and Salado, A. (2021). Conjoining Wymore\u2019s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE. Appl. Sci., 11.","DOI":"10.3390\/app11114936"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1090\/S0002-9947-1965-0188316-1","article-title":"Algebraic theory of machines, I","volume":"116","author":"Krohn","year":"1965","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Sarjoughian, H. (2000). Dynamic Neuronal Ensembles: Neurobiologically Inspired Discrete Event Neural Networks. Discrete Event Modeling and Simulation Technologies, Springer.","DOI":"10.1007\/978-1-4757-3554-3"},{"key":"ref_32","unstructured":"Vahie, S., and Jouppi, N. (1996). Dynamic Neuronal Ensembles: A New Paradigm for Learning & Control. AI, Simulation and Planning in High Autonomy Systems, SCS Publications."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0303-2647(98)00050-1","article-title":"Rate Coding Versus Temporal Coding: A Theoretical Approach","volume":"48","author":"Gautrais","year":"1998","journal-title":"BioSystems"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0303-2647(98)00070-7","article-title":"Face Processing Using One Spike Per Neurone","volume":"48","author":"Gautrais","year":"1998","journal-title":"BioSystems"},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"McNaughton, R., and Yamada, H. (1960). Regular Expressions and State Graphs for Automata. IRE Transactions on Electronic Computers, IEEE.","DOI":"10.1109\/TEC.1960.5221603"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Rozenberg, G., and Salomaa, A. (1997). Regular Languages. Handbook of Formal Languages, Springer.","DOI":"10.1007\/978-3-642-59126-6"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","article-title":"A Logical Calculus of Ideas Immanent in Nervous Activity","volume":"5","author":"McCullogh","year":"1943","journal-title":"Bull. Math. Biophys."},{"key":"ref_38","unstructured":"White, N. (2021, December 14). Multiple Memory Systems. Available online: http:\/\/www.scholarpedia.org\/article\/Multiple_memory_systems."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1038\/nphys1099","article-title":"Reliable neuronal logic devices from patterned hippocampal cultures","volume":"4","author":"Feinerman","year":"2008","journal-title":"Nat. Phys."},{"key":"ref_40","first-page":"1","article-title":"Networks and Cognitive Architectures","volume":"88","author":"Petersen","year":"2015","journal-title":"Cell Rev."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Capocchi, L., Santucci, J.-F., Tigli, J.-Y., Gonnin, T., Lavirotte, S., and Rocher, G. (2021, January 19\u201322). A new discrete-event simulation based approach for validating actuation conflict management in IoT systems. Proceedings of the 2021 Annual Modeling and Simulation Conference (ANNSIM), Fairfax, VA, USA.","DOI":"10.23919\/ANNSIM52504.2021.9552098"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/12\/12\/531\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:49:55Z","timestamp":1760168995000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/12\/12\/531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,20]]},"references-count":41,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2021,12]]}},"alternative-id":["info12120531"],"URL":"https:\/\/doi.org\/10.3390\/info12120531","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12,20]]}}}