Cyber-Physical Systems (CPS) often involve a wide spectrum of events, ranging from lower-level signals to higherlevel abstract events. In order to compose different levels of events, a Concept Lattice-based Event (CLE) model was developed. In the CLE model, the traditional first order logic is used in specifying rules composition. However, it is possible that the rules specified by the first or...

The work performed by the authors to provide to Modelica more discrete-event system modeling functionalities is presented. These functionalities include the replication of the modeling capacities found in the Arena environment, the SIMAN language and the DEVS formalism. The implementation of these new functionalities is included in three free Modelica libraries called ARENALib, SIMANLib and DEV...

Hybrid system models — those devised from two or more disparate sub-system models — provide a number of benefits in terms of conceptualization, development, and assessment of dynamical systems. The decomposition approach helps to formulate complex interactions that are otherwise difficult or impractical to express. However, hybrid model development and usage can introduce complexity that emerge...

The Final Process System is an important part of the entire quality assurance system in the automobile manufacturing process. Operators and machines perform a series of crucial testing procedures before shipping a vehicle. Many complex factors impact the system throughput. The important ones are first time success rate, repair and service routing logic, process layout, operator staffing, capaci...

This paper is the first of its type in that it provides an empirical study comparing the two simulation approaches of Discrete-Event Simulation (DES) and System Dynamics (SD). Prior comparison work is limited and mostly based on the authors‟ personal opinions. In the present work the comparison is based on managers‟ (executive MBA students) perceptions of two simulation models of the same probl...

As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system’s behaviour is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skilful proces...

The paper presents a methodology for incremental development of large discrete-event simulation models. The proposed methodology has evolved during a project performed in collaboration with BT Products. The methodology is based on configuration management to secure simulation model integrity and modularization of the model. Modularization reduces complexity, allows modeling at a higher level of...

This paper presents a methodology for investigating the functionality of objects in manipulatory tasks. Functionality is deened as the applicability of an object for the fullllment of a particular purpose. The description of an interaction for investigating the functionality of an object is described using a formalism based on Discrete Event System Theory and the Active Perception paradigm. The...