• International Journal of Computer Science & Network Security
• /
• v.23 no.5
• /
• pp.21-32
• /
• 2023

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.17 no.30
• /
• pp.107-116
• /
• 1994

This paper formulates a dynamic monitoring and control model with a machine state by quality variations in a single lot production system. A monitoring model is based on estimate of machine state obtained using control theory. The model studied in this paper has a great advance from a point of view the combination between quality control (Sampling, Control Chart) and automatic control theory, and can be extended in a several ways.

• Journal of the Korean Society of Safety
• /
• v.9 no.4
• /
• pp.125-131
• /
• 1994

This paper proposes a dynamic recursive model with the effect analysis of machine state considering human factor(human skillfulness) In a single lot man-machine production system. This model obtained using Kalman Filtering Algorithm Is based on input state, output state, machine state. For sensitivity analysis, this model constructed is examined according to the impact of human skillfulness with computer simulation. The model studied in this paper has a great advance from the point of view a combination of three factors( human engineering, dynamic control theory, quality control ) and can also be extended in several applications.

• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Journal of Korea Multimedia Society
• /
• v.16 no.1
• /
• pp.75-86
• /
• 2013

This paper presents a technique to implement embedded systems using interrupts of the one-chip microcontroller with many peripherals based on a multiple finite state machines model. The multiple finite state machine model utilizes the structure of FSMD used for hardware design and the features of flow control by interrupts. The main finite state machine corresponds to the main program and the sub-state machines corresponds to the interrupt subroutines. Therefore, interrupts from the peripherals can be processed immediately in the sub-state machines. The request and reply variables are used to interface between the finite state machines. Additional operating system is not necessary for the context switching between the main state machine and the sub-state machine, because the flow-control caused by interrupt can be replaced with the switching. An embedded system modeled on multiple finite state machine with ASM charts can be easily implemented by the conversion of ASM charts into C-language programs. This implementation technique can be easily adopted to the hardware oriented embedded systems because of the detail description of the model and the fast response to the interrupt events in the sub-state machine.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.212-217
• /
• 1992

In this paper, a two ports machine(TPM) model for discrete event dynamic systems(DEDS) is proposed. The proposed model is a finite state machine which has two inputs and two outputs. Inputs and outputs have two components, events and informations. TPM is different from other state machine models, since TPM has symmetric input and output. This symmetry enables the block diagram representation of the DEDS with TPM blocks, summing points, multiplying points, branch points, and connections. The graphical representation of DEDS is analogous to that of control system theory. TPM has a matrix representation of its transition and information map. This matrix representation simplifies the analysis of the DEDS.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.5
• /
• pp.253-261
• /
• 2013

In this paper, we study the problem of controlling composite asynchronous sequential machines. The considered asynchronous machine consists of two input/state machines in cascade connection, where the output of the front machine is delivered to the input channel of the rear machine. The objective is to design a corrective controller realizing model matching such that the stable state behavior of the closed-loop system matches that of a reference model. Since the controller receives the state feedback of the rear machine only, there exists uncertainty about the present state of the front machine. We specify the existence condition for a corrective controller given the uncertainty. The design procedure for the proposed controller is described in a case study.

• New & Renewable Energy
• /
• v.4 no.4
• /
• pp.65-71
• /
• 2008

Considering the world's environmental problem, HEVs are projected as one of the solution. The keys of the HEV cruise control are expanding the use of electric motor and operating the internal combustion engine in the efficient region. This paper presents a new structure of SOC sustaining model where state-machine control is used. The proposed model defines battery charging and discharging as states and SOC of the battery as control variables. In this paper, we introduce various methods in deterministic rule-based control for HEV and describe a new SOC sustaining controller used by state-machine.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.1045-1049
• /
• 1995

This paper proposes the state-space model of the thermal behavior of the spindle system to establish dynamic mathematical model of thermal characteristics in machine tool spindle system. the model is derived form physical law of heat transfer and thermoelasticity and represents the thermal behavior induced by uneven thermal expansions whitin a bearing. The model, which is sucessfully validated for two typical configurations of high speed spindle assembles, provides a tool for understanding the basis mechanics of induced thermal expansion as a function of initial preload, spindle speed and housing cooling conditions.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.32 no.11
• /
• pp.379-386
• /
• 1983

In this paper,the more accurate and simple synchronous machine model is derived by parameter modification method. At first, the flux linkage state space model is composed by redefining the parameters of synchronous machine and considering the saturation effect approximately. After that, this modified model is apply to the power system model and the effects of power system stability is analyzed by this model's characteristics in fault condition. As the result, the modified synchronous machine model shows more accurate and simple than the privious one.