Xiang Yin

An Enhanced PEGASIS Algorithm with Mobile Sink Support for Wireless Sensor Networks

Jin Wang, Yu Gao, Xiang Yin et al. · Wireless Communications and Mobile Computing · 2018 · 321 citations · Full text

Engineering, Wireless Routing, Wireless Sensor System +18

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

Xiang Yin, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2015 · 184 citations

Engineering, Verification, Observability +16

A new approach for the verification of infinite-step and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si9.gif" display="inline" overflow="scroll"><mml:mi>K</mml:mi></mml:math>-step opacity using two-way observers

Xiang Yin, Stéphane Lafortune · Automatica · 2017 · 133 citations

Math Xmlns, Engineering, Mechanical Verification +7

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems

Xiang Yin, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2015 · 126 citations

Maximally Permissive Supervisors, Reachability Analysis, Engineering +15

Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data

Zhaojian Li, Shan Bao, Ilya Kolmanovsky et al. · IEEE Transactions on Intelligent Transportation Systems · 2017 · 87 citations

Engineering, Human Performance Modeling, Advanced Driver-assistance System +20