TIMER EMBEDDED FINITE STATE MACHINE MODELING AND ITS APPLICATION

被引：0

作者：

Lee, Duckwoong ^{[1
]}

Choi, Byoung K. ^{[1
]}

Kong, Joohoe ^{[1
]}

机构：

[1] Korea Adv Inst Sci & Technol, Dept Ind & Syst Engn, Taejon 305701, South Korea

来源：

PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2010 | 2010年

关键词：

Timer Embedded; Finite State Machine; Synchronization Manager; TEFSM Toolkit;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper, we propose an extension of classical finite state machine as it called a timer embedded finite state machine (TEFSM) with its formal modeling methods. In the proposed state-based approach, a discrete event system is modeled as a coupled TEFSM. Also presented is a systematic procedure and architecture of developing a simulation executor with a synchronization manager for the coupled TEFSM model. A TEFSM toolkit for modeling and simulation of the proposed TEFSM model has been implemented and a ping pong system was developed as an illustrative example.

引用

页码：153 / 159

页数：7

共 50 条

[31] Orthogonal organized finite state machine application to sensor acquired information
d'Auriol, Brian J.
Kim, John
Lee, Sungyoung
Lee, Young-Koo
PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2007, 4671 : 111 - 118
[32] ON A CLASS OF TIMER HYBRID SYSTEMS REDUCIBLE TO FINITE-STATE AUTOMATA
INAN, K
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1995, 5 (01): : 83 - 96
[33] Modeling of RRAM With Embedded Tunneling Barrier and Its Application in Logic in Memory
Lee, Jia-Wei
Chiang, Meng-Hsueh
IEEE JOURNAL OF THE ELECTRON DEVICES SOCIETY, 2020, 8 : 1390 - 1396
[34] INFERENCE OF A PROBABILISTIC FINITE-STATE MACHINE FROM ITS OUTPUT
ROUVELLOU, I
HART, GW
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1995, 25 (03): : 424 - 437
[35] Hybrid expert system and its application on finite element modeling
Jisuan Jiegou Lixue Jiqi Yingyong/Journal of Computational Structural Mechanics and Applications, 14 (04): : 400 - 406
[36] Modeling and analysis of networked finite state machine subject to random communication losses
Han, Weiwei
Zhang, Zhipeng
Xia, Chengyi
MATHEMATICAL MODELLING AND CONTROL, 2023, 3 (01): : 50 - 60
[37] Energy consumption modeling of machining transient states based on finite state machine
Shun Jia
Renzhong Tang
Jingxiang Lv
Qinghe Yuan
Tao Peng
The International Journal of Advanced Manufacturing Technology, 2017, 88 : 2305 - 2320
[38] Analytical Modeling of Switching Characteristics of the SiC MOSFET Based on Finite State Machine
Wu, Yingzhe
Yin, Shan
Li, Hui
2020 THIRTY-FIFTH ANNUAL IEEE APPLIED POWER ELECTRONICS CONFERENCE AND EXPOSITION (APEC 2020), 2020, : 1956 - 1963
[39] Study on Some Modeling Problems in the process of Gene Expression with Finite State Machine
Gao, Rui
Hu, Wensong
PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 5066 - 5070
[40] Real-time embedded software testing method based on extended finite state machine
Yin, Yongfeng
Liu, Bin
Ni, Hongying
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2012, 23 (02) : 276 - 285

← 1 2 3 4 5 →