2010
DOI: 10.1016/j.nahs.2010.05.004
|View full text |Cite
|
Sign up to set email alerts
|

Monitoring of dynamic processes by rectangular hybrid automata

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
6
0

Year Published

2011
2011
2019
2019

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 7 publications
(6 citation statements)
references
References 9 publications
0
6
0
Order By: Relevance
“…Dynamic PCA Linear PCA [4,8,78,79] Partial PCA [12,13] Kernel PCA [80] Multiscale [81] Dynamic ICA ICA [14,[82][83][84][85][86][87] Kernel ICA [88] Slow feature analysis [22][23][24] ICA Standard [89] Kernel [88] Phase space and related methods x k and y k are the respective state and measurement vectors of the system, and w k and v k are the plant disturbances and measurement errors, respectively, at time k. State space models and their variants have been considered by several authors [65][66][67][68][69][70][71][72][73][74][75].…”
Section: Unsupervised Feature Extractionmentioning
confidence: 99%
“…Dynamic PCA Linear PCA [4,8,78,79] Partial PCA [12,13] Kernel PCA [80] Multiscale [81] Dynamic ICA ICA [14,[82][83][84][85][86][87] Kernel ICA [88] Slow feature analysis [22][23][24] ICA Standard [89] Kernel [88] Phase space and related methods x k and y k are the respective state and measurement vectors of the system, and w k and v k are the plant disturbances and measurement errors, respectively, at time k. State space models and their variants have been considered by several authors [65][66][67][68][69][70][71][72][73][74][75].…”
Section: Unsupervised Feature Extractionmentioning
confidence: 99%
“…Ladder logic is the programming language that is primarily used to develop software for PLCs. It represents a program by a graphical diagram based on the circuit diagrams of relay logic hardware [25,28].…”
Section: Objectives Treementioning
confidence: 99%
“…A Rectangular hybrid automaton is a 7tuple (Q, X, Σ, E, inv, flux, init, M) [10] where: • Σ is a whole of events, As mentioned above in this paper, generally the study of a system modelled by a rectangular hybrid automaton is based on the reachability analysis of the automatons states. To know if a region R is reachable since a region R 0 , two methods can be used; the forward analysis and the backward analysis [11]. A region (or a symbolic state) of an RHA is represented by a pair 〈q, z〉, where q corresponds to a location of automaton and z a region of the space of continuous state, represented by a polyhedron.…”
Section: Definitionmentioning
confidence: 99%