Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems

2006 Sixth International Conference on Quality Software (QSIC'06) ◽

10.1109/qsic.2006.53 ◽

2006 ◽

Cited By ~ 4

Author(s):

Peng Wang ◽

Kai-yuan Cai

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

Control Model ◽

State Machines ◽

Event Systems ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Safety control of discrete event systems using finite state machines with parameters

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148) ◽

10.1109/acc.2001.945847 ◽

2001 ◽

Cited By ~ 8

Author(s):

Yi-Liang Chen ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

State Machines ◽

Safety Control ◽

Event Systems ◽

Finite State

Download Full-text

Modeling of discrete event systems using finite state machines with parameters

Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162) ◽

10.1109/cca.2000.897591 ◽

2002 ◽

Cited By ~ 15

Author(s):

Yi-Liang Chen ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

State Machines ◽

Event Systems ◽

Finite State

Download Full-text

Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids

Systems & Control Letters ◽

10.1016/j.sysconle.2011.10.010 ◽

2012 ◽

Vol 61 (1) ◽

pp. 212-222 ◽

Cited By ~ 16

Author(s):

Junhui Zhao ◽

Yi-Liang Chen ◽

Zhong Chen ◽

Feng Lin ◽

Caisheng Wang ◽

...

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

Power Grids ◽

State Machines ◽

Modeling And Control ◽

Event Systems ◽

Finite State ◽

And Control

Download Full-text

Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ◽

10.1109/cdc.2001.980823 ◽

2003 ◽

Cited By ~ 2

Author(s):

Yi-Liang Chen ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Hierarchical Modeling ◽

Discrete Event ◽

Finite State Machines ◽

State Machines ◽

Event Systems ◽

Finite State

Download Full-text

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Software Testing Verification and Reliability ◽

10.1002/stvr.1789 ◽

2021 ◽

Author(s):

K. El‐Fakih ◽

Ayman Alzaatreh ◽

Uraz Cengiz Türker

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

Modeling Session Initiation Protocol with Extended Finite State Machines

Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) ◽

10.1109/pdcat.2007.4420207 ◽

2007 ◽

Author(s):

Sun Wenhui ◽

Liu Feng ◽

Dai Gang ◽

Li Honghui

Keyword(s):

Finite State Machines ◽

Session Initiation Protocol ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines

IFAC Proceedings Volumes ◽

10.3182/20140514-3-fr-4046.00039 ◽

2014 ◽

Vol 47 (2) ◽

pp. 376-382 ◽

Cited By ~ 1

Author(s):

Sahar Mohajerani ◽

Robi Malik ◽

Martin Fabian

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Testability Metrics for Extended Finite State Machines

Parallel and Distributed Computing and Networks / 720: Software Engineering ◽

10.2316/p.2011.720-015 ◽

2011 ◽

Author(s):

Binh T. Nguyen ◽

Michel Delaunay ◽

Chantal Robach

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Synthesizing protocol specifications from service specifications in timed extended finite state machines

Proceedings of 17th International Conference on Distributed Computing Systems ◽

10.1109/icdcs.1997.598044 ◽

2002 ◽

Cited By ~ 1

Author(s):

Jun-Cheol Park ◽

R.E. Miller

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Using Change Impact Analysis to Select Tests for Extended Finite State Machines

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.38 ◽

2009 ◽

Cited By ~ 1

Author(s):

Mahadevan Subramaniam ◽

Bo Guo ◽

Zoltan Pap

Keyword(s):

Impact Analysis ◽

Finite State Machines ◽

State Machines ◽

Change Impact Analysis ◽

Finite State ◽

Extended Finite State Machines ◽

Change Impact

Download Full-text