Xiang Yin
Full Professor
Works on discrete-event and cyber-physical systems, autonomous decision making and motion planning, and trustworthy learning-enabled control with formal methods.
Xiang Yin's lab at SJTU works on planning, control & multi-robot systems, robot perception & SLAM and reinforcement learning. 101 papers since 2023, 30 at top venues, mostly CDC and TAC. 6 PhD students and 6 master's students. 22 alumni, most often to at ZTE Corporation and Huawei. Applications close .
At a glance
- papers, 2023–2026
- 26/ year
- at T1 venues
- 30%
- PhD students
- 6
- MS students
- 6
- alumni listed
- 22
Papers by yearfrom the lab homepage, 2023–2026
- 32 papers2026 · T1 12 · collecting
- 18 papers2025 · T1 8
- 31 papers2024 · T1 7
- 20 papers2023 · T1 3
T1 venuesOtherVenues: CDC, TAC, IFAC, IROS, ICRA
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems84 papers
- Robot perception & SLAM9 papers
- Reinforcement learning6 papers
- intelligent sensing0 papers
- formal methods0 papers
Paper list
From the lab homepage.
202632 papers
- CDCA probabilistic test with guaranteed error bound for diagnosability of stochastic discrete-event systems under unreliable observations
- in Nonlinear Analysis: Hybrid Systemsh, 62:101757A Stackelberg game approach for signal temporal logic control synthesis with uncontrollable agent
- in International Workshop on Discrete Event Systems, accptedAutomatic activity planning based on activity daily living and quality of life recommendations
- ICRA (T1)Bridging perception and planning: Towards end-to-end planning for signal temporal logic tasks
- CDCCertificates synthesis for a class of observational properties in stochastic systems: A unified approach
- in Nonlinear Analysis: Hybrid Systemsh, 62:101751Chance-constrained neural MPC under uncontrollable agents via sequential convex programming
- NeurIPS (T1)Coherence-aware transition-intent fusion for LTL planning under uncertain semantic maps
- NeurIPS (T1)Compositional training-free diffusion planning for long-horizon multiple reach-avoid tasks
- CoRL (T1)CoSMO: Conformal semantic mapping for open-world safe robot navigation
- IEEE Transactions on Automation Science and Engineering, acceptedCounting time temporal logic for multi-robot path planning in finite horizons
- TAC (T1)Distributed sensing and information transmission of discrete-event systems with edge sensors
- Automatica, conditionally acceptedDistributionally robust control synthesis for stochastic systems with safety and reach-avoid specifications
202518 papers
- IROS (T1)Adaptive visual servoing control barrier function of robotic manipulators with uncalibrated camera
- in European Control ConferenceAn innovation-based approach to adaptive data-driven predictive control
- IEEE Control Systems Letters, 9:1189-1194Attack-resilient supervisory control of discrete event systems under dynamic-event-protection mechanisms
- IROS (T1)Automated manipulation of magnetic microswarms for temporal logic cargo delivery tasks in complex environments
- CDCControl synthesis for multiple reach-avoid tasks via Hamilton-Jacobi reachability analysis
- SCIENCE CHINA Information Sciences, 68:112207Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic
- IEEE Control Systems Letters, 9:2411-2416Enforcing opacity in discrete event systems via delayed observations
- in IEEE International Conference on Control & AutomationEnhancing event-separation properties for event-triggered consensus with disturbances
- IROS (T1)MaxAuc: A max-plus-based auction approach for multi-robot allocations for time-ordered temporal logic tasks
- IJRR (T1)No-regret path planning for temporal logic tasks in partially-known environments
- TAC (T1)On approximate opacity of stochastic control systems
- IROS (T1)Online synthesis of control barrier functions with local occupancy grid maps for safe navigation in unknown environments
202431 papers
- TAC (T1)A unified framework for verification of observational properties for partially-observed discrete-event systems
- TAC (T1)A uniform framework for diagnosis of discrete-event systems with unreliable sensors using linear temporal logic
- in International Workshop on Discrete Event SystemsBetter late than never: On epistemic diagnosability of discrete event systems
- TAC (T1)Distributed fault diagnosis in discrete event systems with transmission delay impairments
- CDCFault diagnosis and prognosis in partially-observed discrete event systems with delayed observations
- in IEEE International Conference on Control & AutomationFormal control synthesis via safe reinforcement learning under real-time specifications
- Annual Reviews in Control, 57:100940Formal synthesis of controllers for safety-critical autonomous systems: developments and challenges
- Automatica, 160:111445Model predictive monitoring of dynamical systems for signal temporal logic specifications
- in International Conference on Automation Science and EngineeringMulti-agent path planning for finite horizon tasks with counting time temporal logics
- ICRA (T1)NNgTL: Neural network guided optimal temporal logic task planning for mobile robots
- Automatica, 164:111644On the verification of detectability for timed discrete event systems
- TAC (T1)Opacity enforcement via greedy privately-and-publicly known insertion functions
202320 papers
- CDCAbstraction-based synthesis of controllers for approximate opacity
- IEEE Control Systems Letters, 7:1087-1092Abstraction-based verification of approximate pre-opacity for control systems
- IFACAttack-resilient supervisory control under energy-bounded attacks
- TAC (T1)Cloud-assisted nonlinear model predictive control for finite-duration tasks
- CDCData-driven safe controller synthesis for deterministic systems: A posteriori method with validation tests
- CDCDiagnosis of time-sensitive failures in timed discrete-event systems with metric interval temporal logics
- CDCEfficient control synthesis under asynchronous temporal robustness constraints
- IFACEntropy rate maximization of Markov decision processes for surveillance tasks
- IFACFailure-aware self-diagnostic task planning under temporal logic specifications
- CDCModel predictive control for signal temporal logic specifications with time interval decomposition
- Control Engineering Practice, 138:105600Optimal multi-robot path planning for cyclic tasks using Petri nets
- IEEE Transactions on Systems, Man, and Cybernetics: Systems, 53:1466-1478Resource provision for cloud-enabled automotive vehicles with a hierarchical model
Where alumni went22 listed, 47% to industry
Industry 8Academia 9
Most often to
- at ZTE Corporation
- Huawei
- at GoerTek Inc.
Also to
- NTU Singapore
- CUHK
- Max Planck Institute
Apply to SJTUFall 2027
Computer Science PhD (international applicants)
- Round
- Self-funded
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USUW
Byron Boots
- Manipulation & robot learning
- SGNUS
David Hsu
- Human-robot interaction & assistive robots
- SGNUS
Yuejiang Liu
- Generative & foundation models
- CAToronto
Florian Shkurti
- Manipulation & robot learning
- USUT Austin
Joydeep Biswas
- Planning, control & multi-robot systems
- CNPeking
Meng Guo
- Planning, control & multi-robot systems
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
SJTUcloses