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] Improved Approaches for Verifying I-Detectability of Discrete-Event Systems 2019 12th Asian Control Conference, ASCC 2019, 2019,
[2] Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks 59th IEEE Conference on Decision and Control, 2020,
[3] A distributed framework for multi-robot task planning with temporal logic specifications 16th IEEE International Conference on Control & Automation, 2020,
[4] Maximally permissive supervisor control of timed discrete-event systems under partial observation 21st IFAC World Congress, 2020,
[5] Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity Proceedings of the American Control Conference, 2020,
[6] Deciding detectability for labeled Petri nets Automatica, 2019,
[7] Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data IEEE Transactions on Intelligent Transportation Systems, 2018,
[8] Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive Cruise Control Example IEEE Transactions on Intelligent Transportation Systems, 2018,
[9] Enforcing opacity by insertion functions under multiple energy constraints Automatica, 2019,
[10] A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2020,
[11] Recent advances on formal methods for safety and security of cyber-physical systems Control Theory and Technology, 2020,
[12] WIP abstract: Towards approximate opacity of cyber-physical system ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems, 2019,
[13] Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols IEEE Transactions on Cybernetics, 2019,
[14] Synthesis of Dynamic Masks for Infinite-Step Opacity IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020,
[15] On approximate opacity of cyber-physical systems IEEE Transactions on Automatic Control, 2020,
total93 3/7
first
previous
next
last
Page
沪ICP备05052060 版权所有©上海交通大学
Click:
