Hybrid Iterative System Specification of Cyberphysical Systems: Neurocognitive Behavior Application
Bernard P. Zeigler · 2020
This paper extends the theory of iterative systems specification for application to a class of cyber-physical systems. We employ the finite state regular language framework as a basis for models of neuronal structure and behavior aimed at closing the gap between circuits and cognitive behavior. Although the biological brain is rarely considered in the context of cyber-physical systems, we draw insight from parallels between the physical and cognitive faculties of humans with those of such engineered systems. We show how hybrid iterative systems specification offers an abstraction that is more fundamental than DEVS that supports development of simulation models of cyber-physical systems. Computational models of dynamic brain activity are needed to understand the complex patterns of signaling and communication within and between brain networks. This paper sets up a theoretical framework for future research and development of brain and other cyber-physical models.