Language :
中文
殷翔
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Admission Information
Student Information
My Album
Blog
MOBILE Version
Paper Publications
Current position:
Home
>
Scientific Research
>
Paper Publications
[1] Trajectory detectability of discrete-event systems SYSTEMS AND CONTROL LETTERS, 2018,
[2] Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2018,
[3] Verification of Prognosability for Labeled Petri Nets IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018,
[4] Cloud resource allocation for cloud-based automotive applications MECHATRONICS, 2018,
[5]yinxiang. Opacity Enforcement by Insertion Functions under Energy Constraints IFAC-PAPERSONLINE, 2018,
[6] Synthesis of Dynamic Masks for Infinite-Step Opacity IFAC-PAPERSONLINE, 2018,
[7] Infinite-step opacity of stochastic discrete-event systems 2017 ASIAN CONTROL CONFERENCE, ASCC 2017, 2017,
[8] On the decidability and complexity of diagnosability for labeled Petri nets 2017,
[9] Verification complexity of a class of observational properties for modular discrete events systems 2017,
[10] Synthesis of maximally-permissive supervisors for the range control problem 2017,
[11] A new approach for the verification of infinite-step and K-step opacity using two-way observers 2017,
[12] Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures 2017,
[13] Supervisor synthesis for mealy automata with output functions: A model transformation approach 2017,
[14] Decentralized supervisory control with intersection-based architecture 2016,
[15] A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems 2016,
total93 6/7
first
previous
next
last
Page
沪ICP备05052060 版权所有©上海交通大学
Click:
