• 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 the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.173-177
• /
• 2001

We introduce cascade products, wreath products, sums and joins of TL-finite state machines and investigate their algebraic structures. Also we study the relations with other products of TL-finite state machines.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Smart Structures and Systems
• /
• v.8 no.1
• /
• pp.53-67
• /
• 2011

Human state in human-machine systems highly affects the overall system performance, and should be detected and monitored. Physiological cues are essential indicators of human state and useful for the purpose of monitoring. The study presented in this paper was focused on developing a bio-inspired sensing system, i.e., Nano-Skin, to non-intrusively measure physiological cues on human-machine contact surfaces to detect human state. The paper is presented in three parts. The first part is to analyze the relationship between human state and physiological cues, and to introduce the conceptual design of Nano-Skin. Generally, heart rate, skin conductance, skin temperature, operating force, blood alcohol concentration, sweat rate, and electromyography are closely related with human state. They can be measured through human-machine contact surfaces using Nano-Skin. The second part is to discuss the technologies for skin temperature measurement. The third part is to introduce the design and manufacture of the Nano-Skin for skin temperature measurement. Experiments were performed to verify the performance of the Nano-Skin in temperature measurement. Overall, the study concludes that Nano-Skin is a promising product for measuring physiological cues on human-machine contact surfaces to detect human state.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.156-160
• /
• 2001

In this paper we define fuzzy subsystems of a fuzzy finite state machine by using maps $S^{\alpha}$ of each state subset to its all $\alpha$-successors, which is a natural generalization of crisp submachines as fuzzy. And the corresponding concepts are also examined. also examined.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.80-82
• /
• 1998

we introduce the concept of coverings, direct products, cascade products and wreath products of T-fuzzy finite state machines and investigate their algebraic structures.

• 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.

• 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.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.7 no.1
• /
• pp.11-17
• /
• 2002

This paper describes on a position detection method for the motors which have repetitive operations using the Algorithmic State Machine(ASM), one of the digital logic design methods. With analyses for the incremental encoder output patterns, state diagram and state table are constructed and a digital circuit which can detect the changing point of direction of motor rotation is designed. To verify the validity of the designed circuit, simulations for all cases in which the direction of motor rotation is changed, are performed. Simulation results show the designed digital circuit can detect the direction of motor rotation accurately for all cases.

• 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.