Engineering Commons^™

Finding Core Members Of A Hedonic Game, Daniele M. Vernon-Bido

Computational Modeling & Simulation Engineering Theses & Dissertations

Agent-based modeling (ABM) is a frequently used paradigm for social simulation; however, there is little evidence of its use in strategic coalition formations. There are few models that explore coalition formation and even fewer that validate their results against an expected outcome. Cooperative game theory is often used to study strategic coalition formation but solving games involving a significant number of agents is computationally intractable. However, there is a natural linkage between ABM and the study of strategic coalition formation. A foundational feature of ABM is the interaction of agents and their environment. Coalition formation is primarily the result of …

A Behavioral Model For Simultaneous Event Execution In Sequential Discrete Event System Simulations, Brian David S. Dilinila

Computational Modeling & Simulation Engineering Theses & Dissertations

The sequential execution of simultaneous events in a discrete event system simulation can cause unexpected behavior in a system. Current studies have provided approaches such as applying a priority order for simultaneous events. However, this is still a problem because executing simultaneous events in sequential order can still lead to two issues of simultaneous event conflicts: the case where simultaneous events cause changes to state variables required by other simultaneous events and the case where two or more simultaneous events cause changes to the same state variables. The objective of this thesis is to develop a behavioral model as a …

A Framework For Executable Systems Modeling, Matthew Amissah

Engineering Management & Systems Engineering Theses & Dissertations

Systems Modeling Language (SysML), like its parent language, the Unified Modeling Language (UML), consists of a number of independently derived model languages (i.e. state charts, activity models etc.) which have been co-opted into a single modeling framework. This, together with the lack of an overarching meta-model that supports uniform semantics across the various diagram types, has resulted in a large unwieldy and informal language schema. Additionally, SysML does not offer a built in framework for managing time and the scheduling of time based events in a simulation.

In response to these challenges, a number of auxiliary standards have been offered …

On The Role Of Assertions For Conceptual Modeling As Enablers Of Composable Simulation Solutions, Robert Dennis King

Computational Modeling & Simulation Engineering Theses & Dissertations

This research provides a much needed systematic review of the roles that assertions play in model composability and simulation interoperability. In doing so, this research contributes a partial solution to one of the problems of model composability and simulation interoperability—namely, why do simulation systems fail to achieve the maximum level of interoperability possible? It demonstrates the importance of the assertions that are made during model development and simulation implementation, particularly as they reflect the unique viewpoint of each developer or user. It hypothesizes that it is possible to detect composability conflicts by means of a four-step process developed by the …