On the Evolution of Solution Spaces Triggered by Emerging Technologies

Salado, Alejandro; Nilchiani, Roshanak

doi:10.1016/j.procs.2015.03.053

Cited by 13 publications

(3 citation statements)

References 6 publications

(11 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In contrast to other system models, the System Actor Model (SAM) allows existence of diverse times and time scales for different actors and their environment using the concept of local time, which exists and can be different in distinct components and parts of real systems according to the system theory of time. As a result, the System Actor Model provides descriptions and tools for exploration not only of classical systems with one global time but also of relativistic and concurrent systems, which can have multiplicities of time [31][32][33][34][35].…”

Section: Resultsmentioning

confidence: 99%

Swarm Superintelligence and Actor Systems

Burgin¹

2017

Int J Swarm Intel Evol Comput

View full text Add to dashboard Cite

There are different types and levels of intelligence in general and swarm intelligence, in particular. In this paper, we explore the transition from swarm intelligence to swarm super intelligence, i.e., to higher levels in the hierarchy of intelligence. While the conventional approach to swarm intelligence presupposes that it emerges in synergetic organization of simple systems such as ants or fish, to achieve super intelligence, it is necessary to unearth synergy in systems of intelligent agents or actors. To study such systems, we further develop multi-agent approach by creating a new mathematically based type of system models, which is called the System Actor Model allowing concurrency of processes and diversity of actions. Properties of this model are studied and applied to investigation of computational swarm intelligence and super intelligence.

show abstract

Section: Resultsmentioning

confidence: 99%

Swarm Superintelligence and Actor Systems

Burgin¹

2017

Int J Swarm Intel Evol Comput

View full text Add to dashboard Cite

show abstract

“…Similarly, we contend that acceptability of verification models should be described by a specification relationship to verification requirements. Similar to the notion that a system requirement should not prescribe a specific system design [31,33,35,36], a verification requirement should not prescribe a specific system design or prescribe the use of a specific verification model [13]. Indeed, while the system requirements and verification requirements are representations absent of knowledge of internal structure, the system designs and verification models are often representations with knowledge of internal structure.…”

Section: Initial Metamodel Of Verification Artifactsmentioning

confidence: 99%

Initial Systems Theoretic Metamodel of Verification Artifacts

Wach

Beling

Salado

2022

INCOSE International Symp

Self Cite

View full text Add to dashboard Cite

The last decade has seen an increase in calls for theoretical foundations of systems engineering (SE) along with a transformation to a model-based and digital paradigm. This transformation is expected to facilitate improved verification. In fact, the literature suggests that the increased complexity of modern engineered systems is challenging the feasibility of traditional verification methods and requires new methods to cope with the change. Furthermore, a review of the SE literature suggests limited focus on verification research. Our research leverages systems theory to characterize the relationships between the verification artifacts. Specifically, we use systems theoretic morphisms to characterize the equivalence preservation between system requirements and verification requirements as well as between a system design and verification models. Although in initial form as provided in this article, our metamodel of verification artifacts is expected to contribute to the theoretical foundations of SE.

show abstract

“…components that are available to build the system. In this sense, this type of requirements, which can be interpreted as predefined technologies that must be used, is inconsistent with common guidelines for writing good requirements, since they unnecessarily enforce design solutions [32][33][34]. Nevertheless, we include this type of requirements here to faithfully represent T3SD.…”

Section: The Functionality Perspective (Wymore's Functional Cotyledon)mentioning

confidence: 99%

Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE

Wach

Zeigler²,

Salado

2021

Applied Sciences

Self Cite

View full text Add to dashboard Cite

The objective of this research article is to re-introduce some of the concepts provided by A. Wayne Wymore in his mathematical theory of Model-Based Systems Engineering, discuss why his framework might have not been adopted, and define a potential path to modernize the framework for practical application in the digital age. The dense mathematical theory has never been converted to a practical form. We propose a path to modernization by creating a metamodel of Wymore’s mathematical theory of MBSE. This enables explaining the concepts in simple to understand terms and shows the internal consistency provided by the theory. Furthermore, the metamodel allows for conversion of the theory into software application, for which we show some initial results that open the research to the art of the possible. In recognition of limitation of the theory, we make the case for a merger of the theoretical framework with the enhanced formalism of Discrete Event System Specification (DEVS). This will establish a path toward the scientific foundations for MBSE to enable future implementations of the complementary pairing and their empirical results.

show abstract

On the Evolution of Solution Spaces Triggered by Emerging Technologies

Cited by 13 publications

References 6 publications

Swarm Superintelligence and Actor Systems

Swarm Superintelligence and Actor Systems

Initial Systems Theoretic Metamodel of Verification Artifacts

Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE

Contact Info

Product

Resources

About