Time Series Extended Finite-State Machine-Based Relevance Vector Machine Multi-Fault Prediction

Zi-Qian Zhou; Qun-Xiong Zhu; Yuan Xu

doi:10.1002/ceat.201600025

Time Series Extended Finite-State Machine-Based Relevance Vector Machine Multi-Fault Prediction

Chemical Engineering & Technology ◽

10.1002/ceat.201600025 ◽

2017 ◽

Vol 40 (4) ◽

pp. 639-647 ◽

Cited By ~ 4

Author(s):

Zi-Qian Zhou ◽

Qun-Xiong Zhu ◽

Yuan Xu

Keyword(s):

Time Series ◽

Finite State Machine ◽

Relevance Vector Machine ◽

State Machine ◽

Fault Prediction ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Extended Finite-State Machine Induction using SAT-Solver

IFAC Proceedings Volumes ◽

10.3182/20120523-3-ro-2023.00179 ◽

2012 ◽

Vol 45 (6) ◽

pp. 236-241 ◽

Cited By ~ 3

Author(s):

Vladimir I. Ulyantsev ◽

Fedor N. Tsarev

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Sat Solver ◽

Extended Finite State Machine

Download Full-text

Time Series Forecasting Method Based on Finite State Machine

2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) ◽

10.1109/edm52169.2021.9507729 ◽

2021 ◽

Author(s):

Ulyana Pavlova ◽

Anton Rakitskiy

Keyword(s):

Time Series ◽

Finite State Machine ◽

State Machine ◽

Time Series Forecasting ◽

Forecasting Method ◽

Finite State

Download Full-text

The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed Systems

2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications ◽

10.1109/sera.2009.33 ◽

2009 ◽

Cited By ~ 2

Author(s):

Shengfa Gao ◽

Xin Li ◽

Ruihua Zhang

Keyword(s):

Distributed Systems ◽

Finite State Machine ◽

Fault Tolerant ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Automatic test generation from communicating extended finite state machine (CEFSM)-based models

Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002 ◽

10.1109/isorc.2002.1003693 ◽

2003 ◽

Cited By ~ 13

Author(s):

J.J. Li ◽

W.E. Wong

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Automatic Test Generation ◽

Automatic Test ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Inferring extended finite state machine models from software executions

Empirical Software Engineering ◽

10.1007/s10664-015-9367-7 ◽

2015 ◽

Vol 21 (3) ◽

pp. 811-853 ◽

Cited By ~ 45

Author(s):

Neil Walkinshaw ◽

Ramsay Taylor ◽

John Derrick

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Extended Finite-State Machine Induction Using SAT-Solver

2011 10th International Conference on Machine Learning and Applications and Workshops ◽

10.1109/icmla.2011.166 ◽

2011 ◽

Cited By ~ 11

Author(s):

V. Ulyantsev ◽

F. Tsarev

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Sat Solver ◽

Extended Finite State Machine

Download Full-text

How to Design Extended Finite State Machine Test Models in Java

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-15 ◽

2017 ◽

pp. 175-198 ◽

Cited By ~ 11

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Models ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Formalising Extended Finite State Machine Transition Merging

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_22 ◽

2018 ◽

pp. 373-387 ◽

Cited By ~ 1

Author(s):

Michael Foster ◽

Ramsay G. Taylor ◽

Achim D. Brucker ◽

John Derrick

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

The Web Services Composition Testing Based on Extended Finite State Machine and UML Model

2013 Fifth International Conference on Service Science and Innovation ◽

10.1109/icssi.2013.46 ◽

2013 ◽

Cited By ~ 5

Author(s):

Ching-Seh Wu ◽

Chi-Hsin Huang

Keyword(s):

Web Services ◽

Finite State Machine ◽

State Machine ◽

Web Services Composition ◽

Services Composition ◽

Finite State ◽

Extended Finite State Machine ◽

The Web

Download Full-text

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults

2008 International Conference on Software Testing, Verification, and Validation ◽

10.1109/icst.2008.16 ◽

2008 ◽

Cited By ~ 6

Author(s):

Khaled El-Fakih ◽

Anton Kolomeez ◽

Svetlana Prokopenko ◽

Nina Yevtushenko

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text