Journal of Applied Mechanical Engineering

Identification of states and their sequences in electromechanical systems

4^th International Conference and Exhibition on Mechanical & Aerospace Engineering

October 03-04, 2016 Orlando, USA

Yang Peilin

Xiâ??an Jiaotong University, China

Posters & Accepted Abstracts: J Appl Mech Eng

Abstract:

More and more attention have been paid to reliability and safety issues rising from the increasingly complexity of electromechanical systems, so the reliability assessment and formal verification have become significant during the system development process. Although it is known that the function executing process could be regarded as a series of state transitions, identification of states and their sequences is still short of systematic research for electromechanical systems. In this paper, an approach for identifying states and their sequences is presented and illustrated with an example. Firstly, the methodology of IDEF (Integration definition method) is introduced to study the function representation of electromechanical systems. Secondly, a quantitative notation is presented to adapt the temporal logic for quantifying the temporal relationships between intervals (events). Thirdly, the mapping from behaviors to states is analyzed. According to the characteristics of behaviors of electromechanical systems, the behavior of a component in the systems is described by two states. Based on the quantitative notation and logical relations, generation of state transition sequences is discussed and state transition sequences are identified. Finally, the feeding system of a CNC machine tool is introduced for case study which verifies the feasibility of our researches.

Biography :

Email: hy920314@126.com