×

zbMATH — the first resource for mathematics

Yin, Xiang

Compute Distance To:
Author ID: yin.xiang Recent zbMATH articles by "Yin, Xiang"
Published as: Yin, X.; Yin, Xiang
Documents Indexed: 43 Publications since 1992

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 82 times in 49 Documents Cited by Year
A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. Zbl 1359.93295
Yin, Xiang; Lafortune, Stéphane
14
2016
Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269
Yin, Xiang; Lafortune, Stéphane
8
2015
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296
Yin, Xiang; Lafortune, Stéphane
7
2016
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures. Zbl 1370.93173
Yin, Xiang
6
2017
Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220
Yin, Xiang; Lafortune, Stéphane
5
2017
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers. Zbl 1370.93174
Yin, Xiang; Lafortune, Stéphane
5
2017
Supervisor synthesis for Mealy automata with output functions: a model transformation approach. Zbl 1366.93370
Yin, Xiang
5
2017
On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539
Yin, Xiang; Lafortune, Stéphane
4
2017
Decentralized fault prognosis of discrete event systems with guaranteed performance bound. Zbl 1338.93240
Yin, Xiang; Li, Zhaojian
4
2016
Verification of prognosability for labeled Petri nets. Zbl 1395.68200
Yin, Xiang
3
2018
Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221
Yin, Xiang; Lafortune, Stéphane
3
2017
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
3
2012
Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263
Yin, Xiang; Lafortune, Stéphane
2
2018
Quadtree representation and compression of spatial data. Zbl 1316.68149
Yin, Xiang; Düntsch, Ivo; Gediga, Günther
2
2011
An adhesive wear model of fractal surfaces in normal contact. Zbl 1193.74107
Yin, X.; Komvopoulos, K.
2
2010
Can a costly reporting system make environmental enforcement more efficient? Zbl 0837.76070
Hipel, K.; Yin, X.; Kilgour, D. M.
2
1995
Opacity enforcement using nondeterministic publicly known edit functions. Zbl 07158516
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
1
2019
Deciding detectability for labeled Petri nets. Zbl 1415.93063
Masopust, Tomáš; Yin, Xiang
1
2019
Trajectory detectability of discrete-event systems. Zbl 1408.93084
Yin, Xiang; Li, Zhaojian; Wang, Weilin
1
2018
Bifurcation analysis and chaotic behavior of a discrete-time delayed genetic oscillator model. Zbl 1422.39041
Liu, Feng; Yin, Xiang; Sun, Fenglan; Wang, Xinmei; Wang, Hua O.
1
2017
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
1
2017
A slip-line plasticity analysis of sliding friction of rough surfaces exhibiting self-affine (fractal) behavior. Zbl 1244.74091
Yin, X.; Komvopoulos, K.
1
2012
Hand image segmentation using color and RCE neural network. Zbl 1014.68204
Yin, X.; Guo, D.; Xie, M.
1
2001
Opacity enforcement using nondeterministic publicly known edit functions. Zbl 07158516
Ji, Yiding; Yin, Xiang; Lafortune, Stéphane
1
2019
Deciding detectability for labeled Petri nets. Zbl 1415.93063
Masopust, Tomáš; Yin, Xiang
1
2019
Verification of prognosability for labeled Petri nets. Zbl 1395.68200
Yin, Xiang
3
2018
Minimization of sensor activation in decentralized discrete-event systems. Zbl 1423.93263
Yin, Xiang; Lafortune, Stéphane
2
2018
Trajectory detectability of discrete-event systems. Zbl 1408.93084
Yin, Xiang; Li, Zhaojian; Wang, Weilin
1
2018
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures. Zbl 1370.93173
Yin, Xiang
6
2017
Verification complexity of a class of observational properties for modular discrete events systems. Zbl 1373.93220
Yin, Xiang; Lafortune, Stéphane
5
2017
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers. Zbl 1370.93174
Yin, Xiang; Lafortune, Stéphane
5
2017
Supervisor synthesis for Mealy automata with output functions: a model transformation approach. Zbl 1366.93370
Yin, Xiang
5
2017
On the decidability and complexity of diagnosability for labeled Petri nets. Zbl 1390.93539
Yin, Xiang; Lafortune, Stéphane
4
2017
Synthesis of maximally-permissive supervisors for the range control problem. Zbl 1373.93221
Yin, Xiang; Lafortune, Stéphane
3
2017
Bifurcation analysis and chaotic behavior of a discrete-time delayed genetic oscillator model. Zbl 1422.39041
Liu, Feng; Yin, Xiang; Sun, Fenglan; Wang, Xinmei; Wang, Hua O.
1
2017
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
1
2017
A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. Zbl 1359.93295
Yin, Xiang; Lafortune, Stéphane
14
2016
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. Zbl 1359.93296
Yin, Xiang; Lafortune, Stéphane
7
2016
Decentralized fault prognosis of discrete event systems with guaranteed performance bound. Zbl 1338.93240
Yin, Xiang; Li, Zhaojian
4
2016
Codiagnosability and coobservability under dynamic observations: transformation and verification. Zbl 1327.93269
Yin, Xiang; Lafortune, Stéphane
8
2015
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
3
2012
A slip-line plasticity analysis of sliding friction of rough surfaces exhibiting self-affine (fractal) behavior. Zbl 1244.74091
Yin, X.; Komvopoulos, K.
1
2012
Quadtree representation and compression of spatial data. Zbl 1316.68149
Yin, Xiang; Düntsch, Ivo; Gediga, Günther
2
2011
An adhesive wear model of fractal surfaces in normal contact. Zbl 1193.74107
Yin, X.; Komvopoulos, K.
2
2010
Hand image segmentation using color and RCE neural network. Zbl 1014.68204
Yin, X.; Guo, D.; Xie, M.
1
2001
Can a costly reporting system make environmental enforcement more efficient? Zbl 0837.76070
Hipel, K.; Yin, X.; Kilgour, D. M.
2
1995

Citations by Year