Bernard Phillip Zeigler

Bernard Phillip Zeigler
The University of Arizona | UA · Department of Electrical and Computer Engineering

Doctor of Philosophy
Chief Scientist, RTSync Corp.rtsync.com

About

692
Publications
82,006
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
15,514
Citations
Citations since 2017
136 Research Items
2782 Citations
20172018201920202021202220230100200300400500
20172018201920202021202220230100200300400500
20172018201920202021202220230100200300400500
20172018201920202021202220230100200300400500

Publications

Publications (692)
Article
Full-text available
Download from: https://www.mdpi.com/2078-2489/12/12/531 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 bu...
Article
Full-text available
This article works toward a unification of two related concepts that underpin system-theory-based modeling and simulation–the hierarchy of system specifications and morphisms and the System Entity Structure (SES). The hierarchy organizes system specification along levels ranging from behavior to structure capturing increasing knowledge of the syste...
Presentation
Full-text available
Systems thinking in a VUCA (Volatility, uncertainty, complexity and ambiguity) World requires representation of complexity Modeling and Simulation (M&S) are widely used for computational experimentation with a view to understanding and dealing with complex systems The Discrete Event System Specification (DEVS) formalism provides a computational ba...
Presentation
Full-text available
This is the presentation of the paper with the same name. Our objective is to show how the hierarchy of system specifications and morphisms affords a framework that supports modeling and simulation of mind/brain in a coherent manner. Such a framework provides a credible path for simulation/implementation of cognitive behavior at the level of neuron...
Presentation
Full-text available
Simulation has proven to be a widely used tool for computational experimentation with a view to developing and implementing intelligent system designs. The Discrete Event System Specification (DEVS) formalism supports generic open architectures that incorporate multiple engineering domains within integrated cyberphysical system designs. Discrete...
Presentation
Full-text available
Simulation has proven to be a widely used tool for computational experimentation with a view to developing and implementing intelligent system designs. The Discrete Event System Specification (DEVS) formalism supports generic open architectures that incorporate multiple engineering domains within integrated cyberphysical system designs. Here we dis...
Article
We review Discrete-Event system Specification (DEVS) in the context of Model-based Systems Engineering (MBSE) and discuss an application of DEVS methodology to MBSE. We outline support for an envisioned MBSE development cycle of DEVS top-to-bottom MBSE capability and offer an example of mapping UML activity diagrams into executable activity-based D...
Poster
Full-text available
Update: The first article at the bottom of the page: https://www.mdpi.com/journal/information/special_issues/Simulation_Modelling has been published. The first cfp was sent via: https://www.researchgate.net/publication/360161125_Open_Special_Issue_Simulation_Modeling_Theory_and_Practice_Pushing_the_Boundaries_Message_from_the_Guest_Editors There i...
Chapter
The Discrete Event System Specification (DEVS) is a modeling formalism that supports a general methodology for describing discrete event systems with the capability to represent continuous, discrete, and hybrid systems due to its system theoretic basis. In this chapter, we discuss the use of DEVS as the basic modeling and simulation framework for M...
Chapter
Achieving value-based healthcare – increasing quality, reducing cost, and spreading access – has proven to be extremely challenging. In recent years, a large variety of care coordination organizations have emerged at regional and national scales. Unfortunately, each such health entity lives in its own definition (silo) of care coordination leaving...
Presentation
Full-text available
In this talk, we show how the two main and orthogonal, pillars of M&S theory – levels of system specification with associated morphisms, and systems specification formalisms – help develop models of complex intelligent systems. We discuss Discrete Event System Specification (DEVS) models that exhibit intelligent behaviors and can be developed, obse...
Presentation
Full-text available
Model Based System Engineering (MBSE) refers to the trend to use models systematically throughout the design process. MBSE has been struggling to find a way to connect the blueprint models that describe the initial architecture with ways to check and evaluate these plans. Simulation has become the preferred means to support this goal. Discrete Even...
Article
Full-text available
Featured Application: This research contributes toward the theoretical foundations of model-based systems engineering (MBSE) through combining the mathematical, system theoretic framework for MBSE developed by A. Wayne Wymore with the computational systems theory of Discrete Event System Specification (DEVS). This research leads to internally consi...
Presentation
Full-text available
Abstraction and its concrete realization are essential for progress Abstractions enable uncluttered thought while concrete realizations are closer to reality but necessarily messy. In computer science: Progression: abstraction => formalization => implementation is exemplified by Boole and Turing. In Modeling and Simulation (M&S), abstractions sepa...
Conference Paper
We propose an integrative environment for the modeling and simulation of activity specification. The devised approach relies on the DEVS (Discrete Event System Specification) formalism for the foundational semantics of the essential activity elements. The code generation takes place afterward, targeting specific DEVS-compliant modeling and simulati...
Presentation
Full-text available
Despite significant advances in fields from neurophysiology to cognitive science, a wide gap remains between cognition and neural substrate. The Discrete Event Systems Specification (DEVS) modeling abstraction characterizes neuronal elements as having discrete states, processing messages, and employing own memory while coordinating themselves in...
Presentation
Full-text available
We formulate burst detection as perception of event sequences where a burst is characterized as a sub-sequence of events that are closely spaced in time (i.e., Inter-event separation is within a given duration). We define an I/O behavior function to represent the perception as a computation, provide DEVS models that generate these behaviors, and si...
Presentation
Full-text available
Computations have been advocated as abstractions that can bridge the neural circuit to cognition gap, Here we demonstrate simple computation-like behaviors that are necessary to fully characterize order of arrival perceptions. We also provide system state-level models that produce these behaviors and prove their canonical minimal nature. Simple sim...
Preprint
Full-text available
We present here a system morphism methodology to give insight into the lumping process of networks of linear systems. Mean field assumptions are summarized as an example of two particular/significant assumptions for lumping: Homogeneity and fixed-point preservation in the lumped network model. Behavioral homogeneity (all linear systems having the s...
Presentation
Full-text available
Related Work on Regular Expressions, Automata, Neurons Types of Iterative System Specification (ISS) DEVS simulation of Hybrid ISS: Implementation in MS4 Me Regular Language Realization at the DEVS Atomic and Network Level Regular Language Realization in I/O Systems Hybrid ISS framework for Realizing Neurocognitive Behavior Conclusions and Further...
Conference Paper
System Entity Structures (SES) are used to define families of systems. In this context they are employed in combination with a model base (MB) to describe a set of simulation models. Using a framework, simulation models are generated from the SES/MB in a goal-oriented manner, executed and their results analyzed. The entire process is automated, ite...
Presentation
Full-text available
Outline: Recommend new class of disease management models. How to proceed? - New abstractions needed. Continuity of Care abstraction formalized as Staged Pipeline model. Taiwan COVID-19 response as case in point. Crossproduct Interaction with disease propagation. Simulation model-based Tracking/Intervention Decision Support. Development status. Mu...
Article
System entity structure has been used since the 1970s as a formal ontology framework, axiomatically defined, to represent the elements of a system of systems and their hierarchical relationships resulting in a family of hierarchical models. One challenge with this approach is the process of exploring a family of hierarchical models, and selecting a...
Presentation
Full-text available
Modeling and Simulation (M&S) represents a core capability needed to address today’s complex, adaptive, systems of systems (SoS) engineering challenges. The limitations of Model-Based Systems Engineering (MBSE) include limited capability to develop multifaceted models, as well as their analysis with computationally powerful and correct simulation...
Presentation
Full-text available
We discuss two scenarios involving simultaneous events modeled in Parallel Discrete Event System Specification (PDEVS). They demonstrate PDEVS features of zero time advance, causation, confluent internal/external transitions, and multiple input handling. Parallel and Distributed simulation methods are typically based on a one-dimensional time sta...
Presentation
Full-text available
Theory of Modeling and Simulation (Third Edition) follows its predecessors in providing an authoritative and complete theoretical solution for researchers, graduate students and working engineers interested in posing and solving problems using the tools of computational modeling and simulation. We discuss its main unifying concept, the iterative sy...
Presentation
Full-text available
IEEE Distinguished Speaker: Prof Bernard Zeigler Venue: MITA St Venera Lecture: Digital Health: Systems-of Systems Modeling and Simulation for Coordinating the Coordinators
Preprint
Full-text available
The Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS) is a forum for researchers and practitioners from both communities modeling and simulation. The goal of the workshop is to provide an environment for discussions on how to propose and/or adapt notations, techniques, and methods to foster the adoption of dynamic models in...
Presentation
Full-text available
Outline: A short history of neuron element modeling; Computational Iterative System Paradigm; Previous presentations on ResearchGate; Artificial neural nets (ANN); Spiking Leaky Integrate and Fire (LIF) neurons; Behaviors that LIF neurons can’t display: Self organizing NN; Languages: Generators and Recognizers, System formulation; Revitalizing Klee...
Presentation
Full-text available
Experimental finding point suggest that memory trace and timing mechanisms can be localized to individual cells. In previous work, Part I, we modeled and simulated cell feedback protocols directly as DEVS Markov models. Here we embed this model within a case study of an actual temporal choice experiment in which time intervals between events are us...
Research
Full-text available
Neurons (in the cerebellum parietal cortex and hippocampus) have been observed to encode elapsed time. Neurons ( e.g., cerebellar Purkinje cells) can learn to respond at a particular time that reflects the time between stimuli. This implies that memory trace and timing mechanisms can be localized to individual cells. Here we develop, and simulati...
Presentation
Full-text available
Self-organizing neural nets (SONN) implement certain operations at a macro level that require complex protocols at the individual cell (micro) level. Roughly a critical operation assumes that given an input (e.g. facial image), the first and second neurons closest to the input (in recognition space) can identify themselves. This operation is easy t...
Chapter
The progression of abstraction, formalization, and implementation have played a critical role in advancing the theory and practice of modeling and simulation. In this chapter, we first review the historical record to illustrate how this progression characterizes the pattern of development of both the precursors, and the essence, of discrete event s...
Conference Paper
With the advent of Unmanned Autonomous Vehicles (UAV), new kinds of systems of systems (SoS) that provide specific services may be on the horizon. We recognize that beyond basic technology requirements, such UAV-based service systems may be subject to a multiplicity of system engineering objectives. An all-inclusive model would be able to provide t...
Presentation
Full-text available
CAMRI - see CAMRI-SES Integration of domain codes.
Book
Full-text available
Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, Third Edition, continues the legacy of this authoritative and complete theoretical work. It is ideal for graduate and PhD students and working engineers interested in posing and solving problems using the tools of logico-mathematical modeling and compute...
Conference Paper
The development of care pathways is increasingly becoming an instrumental artefact towards improving the quality of care and cutting costs. This paper presents a framework that incorporates Simulation Modeling along with Machine Learning (ML) for the purpose of designing pathways and evaluating the return on investment of implementation. The study...
Book
Full-text available
Achieving value-based healthcare, increasing quality, reducing cost, and spreading access has proven to be extremely challenging. Today's research is largely focused on singular risk factors addressed by specific medical interventions and clinical programs within siloed operational structures. As a result of such service fragmentation, effective ca...
Article
Full-text available
The limitations of model-based support for engineering complex systems include limited capability to develop multifaceted models as well as their analysis with robust reliable simulation engines. Lack of such Modeling and Simulation (M&S) infrastructure leads to knowledge gaps in engineering such complex systems and these gaps appear as epistemolog...
Conference Paper
Full-text available
Markov Modeling is among the most commonly used forms of model expression and Markov concepts of states and state transitions are fully compatible with the DEVS characterization of discrete event systems. Besides their general usefulness, the Markov concepts of stochastic modeling are implicitly at the heart of most forms of discrete event simulati...
Conference Paper
With the growth in new variants of DEVS, the concept of closure under coupling has reached a level of importance where it stands discussion in its own right. As emphasized in (Zeigler et al 2000), closure under coupling justifies hierarchical construction. Here we show that it also provides assurance that the class under consideration is well-defin...
Conference Paper
A useful perspective on the economic value of simulation in engineering comes from considering the role simulation plays in constructing a system. We propose a conceptual model that combines an embryonic concept of the value of an information bit with cost estimation tools used in software engineering. The model provides an economic justification f...
Presentation
Full-text available
This presentation is the basis for YouTube videos of the same name https://youtu.be/EpngEuW8Ff8 and https://youtu.be/CIHkt-oE5GA
Article
Regardless of the coordination of its activities, a healthcare system is composed of a large number of distributed components that are interrelated by complex processes. Understanding the behavior of the overall system is becoming a major concern among healthcare managers and decision-makers. This paper presents a modeling and simulation framework...
Conference Paper
Full-text available
Systems of Systems (SoS) that include intelligence and adaptability exhibit high complexity that cannot be easily tackled using classic system engineering techniques. Recent model-based system engineering has also proved inadequate due to lack of a full-strength modeling and simulation (M&S) computational substrate. Such full-strength M&S support c...
Chapter
A recent paper laid a systems theoretic foundation for understanding how human language could have emerged from prelinguistic elements. The systems theoretic approach to incorporating emergence (as a construct) to understand a complex phe- nomenon first required the formulation of a system model of the phenomena. Having the correct formal system sp...
Article
Full-text available
Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively...
Chapter
We propose a model-based framework to specify, integrate, and verify heterogeneous Software Integration Lab and System of Systems (SoS) simulations that include unmanned aviation mission systems during the early development and evaluation phases. This approach would bridge the currently separated development and test/training domains. We propose a...
Research
Full-text available
*Health Care Reform – A Systems Problem *Fixing The Health Care System – Porter’s Integrated Practice Unit (IPU) *System Theory and System-of-Systems (SoS) *Discrete Event Systems Specification (DEVS) modeling and simulation framework *DEVS SoS formalization of the IPU concept *Role of the MS4 Modeling and Simulation Environment in *implementati...
Research
Full-text available
* System of Systems, called Component Systems (CS) * Not (anywhere) near optimal performance for given objective * Individual CSs are capable but organization is lacking * SoS is distributed geographically with centralization difficult to enforce (Maier Boardman characterizations) * SOSE problem: design and implement a coordination mechanism that c...
Chapter
In a well-known paper, Maier postulated five principal characteristics that distinguish today’s sociotechnical systems composed of existing complex systems. Those systems are called SoSs and their constituents are called CSs. SoSs are characterized by five properties: operational independence of the components, managerial independence of the compon...
Research
Full-text available
Presentation for talk on video: https://www.youtube.com/watch?v=h6QNuP_FZsg and http://v.youku.com/v_show/id_XMzE5NzY4NzM0NA==.html?from=s1.8-1-1.2
Research
Full-text available
Abstraction and its concrete realization are essential for progress Progression: abstraction => formalization => implementation exemplified in Boole and Turing's foundational theories In M&S, abstractions lead to new model representations which drive new computational environments
Research
Full-text available
The conventional approach to model construction for simulation: focus on a single model follow a more or less structured development cycle. Why put in twice the time and effort to develop two models rather than one? Short Answer: extra effort at the beginning may payoff in the end Longer Answer: Will show how the pair-of-models approach leads to...

Network

Cited By

Projects

Projects (5)
Project
Notify interested researchers about the possibility to submit an article to special issue on Modeling and Simulation: Pushing the Boundaries.
Project
To make available links to video talks I have given and the presentations/other material that back them up.