语言选择
English
首页
科学研究
研究领域
论文成果
专利
著作成果
科研项目
教学研究
教学资源
授课信息
教学成果
获奖信息
招生信息
学生信息
个人主页
我的相册
教师博客
所在单位:
电子信息与电气工程学院
职称:
副教授
电子邮箱:
yinxiang@sjtu.edu.cn
教师拼音名称:
yinxiang
性别:
男
在职信息:
在职
论文成果
当前位置:
中文主页
>>
科学研究
>>
论文成果
[31] 会议论文,Improved Approaches for Verifying I-Detectability of Discrete-Event Systems,2019 12th Asian Control Conference, ASCC 2019,2019-06-01,殷翔
[32] 会议论文,Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks,59th IEEE Conference on Decision and Control,2020-12-01
[33] 会议论文,A distributed framework for multi-robot task planning with temporal logic specifications,16th IEEE International Conference on Control & Automation,2020-10-01
[34] 会议论文,Maximally permissive supervisor control of timed discrete-event systems under partial observation,21st IFAC World Congress,2020-07-01
[35] 会议论文,Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacit...,Proceedings of the American Control Conference,2020-07-01
[36] 期刊论文,Deciding detectability for labeled Petri nets,Automatica,2019-06-01
[37] 期刊论文,Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Drivin...,IEEE Transactions on Intelligent Transportation Systems,2018-08-01
[38] 期刊论文,Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive C...,IEEE Transactions on Intelligent Transportation Systems,2018-09-01
[39] 期刊论文,Enforcing opacity by insertion functions under multiple energy constraints,Automatica,2019-10-01
[40] 期刊论文,A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System,IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2020-08-01
[41] 期刊论文,Recent advances on formal methods for safety and security of cyber-physical systems,Control Theory and Technology,2020-01-01,殷翔
[42] 会议论文,WIP abstract: Towards approximate opacity of cyber-physical system,ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems,2019-04-01,殷翔
[43] 期刊论文,Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols,IEEE Transactions on Cybernetics,2019-04-01,殷翔
[44] 期刊论文,Synthesis of Dynamic Masks for Infinite-Step Opacity,IEEE TRANSACTIONS ON AUTOMATIC CONTROL,2020-04-01,殷翔
[45] 期刊论文,On approximate opacity of cyber-physical systems,IEEE Transactions on Automatic Control,2020-08-01,殷翔
共93条 3/7
首页
上页
下页
尾页
页