Xiang Yin
Orcid: 0000-0003-1944-1570Affiliations:
- Shanghai Jiao Tong University, Department of Automation, China
- University of Michigan, Department of Electrical Engineering and Computer Science, Ann Arbor, MI, USA (PhD 2017)
According to our database1,
Xiang Yin
authored at least 123 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Autom. Control., April, 2024
Robust Learning and Control of Time-Delay Nonlinear Systems With Deep Recurrent Koopman Operators.
IEEE Trans. Ind. Informatics, March, 2024
Model predictive monitoring of dynamical systems for signal temporal logic specifications.
Autom., February, 2024
Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information.
IEEE Trans. Intell. Veh., January, 2024
A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic.
IEEE Trans. Autom. Control., January, 2024
Autom., January, 2024
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks.
CoRR, 2024
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints.
CoRR, 2024
CoRR, 2024
2023
IEEE Trans. Autom. Control., September, 2023
IEEE Trans. Autom. Control., August, 2023
IEEE Trans. Syst. Man Cybern. Syst., March, 2023
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.
CoRR, 2023
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.
CoRR, 2023
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks.
CoRR, 2023
SoybeanNet: Transformer-Based Convolutional Neural Network for Soybean Pod Counting from Unmanned Aerial Vehicle (UAV) Images.
CoRR, 2023
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control.
CoRR, 2023
CoRR, 2023
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
2022
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
CoRR, 2022
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks.
CoRR, 2022
CoRR, 2022
Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.
CoRR, 2022
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems.
CoRR, 2022
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments.
CoRR, 2022
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.
CoRR, 2022
Autom., 2022
Annu. Rev. Control., 2022
Proceedings of the 17th IEEE International Conference on Control & Automation, 2022
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.
Proceedings of the 13th Asian Control Conference, 2022
To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote State Estimation of Discrete-Event Systems.
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
2021
Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels.
IEEE Trans. Control. Netw. Syst., 2021
IEEE Trans. Autom. Control., 2021
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.
CoRR, 2021
Authors' Reply to "Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica, 2017(80)162-171]".
Autom., 2021
Verification and enforcement of strong infinite- and k-step opacity using state recognizers.
Autom., 2021
Autom., 2021
Optimal supervisory control with mean payoff objectives and under partial observation.
Autom., 2021
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Distributed Sensing and Information Transmission of Discrete-Event Systems with Edge Sensors.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
IEEE Trans. Intell. Transp. Syst., 2020
IEEE Trans. Autom. Control., 2020
CoRR, 2020
Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels.
CoRR, 2020
A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications.
Proceedings of the 16th IEEE International Conference on Control & Automation, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols.
IEEE Trans. Cybern., 2019
IEEE Trans. Autom. Control., 2019
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets".
IEEE Trans. Autom. Control., 2019
IEEE Trans. Autom. Control., 2019
IEEE Trans. Autom. Control., 2019
Autom., 2019
A general approach for optimizing dynamic sensor activation for discrete event systems.
Autom., 2019
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.
Autom., 2019
Autom., 2019
Block-based minimum input design for the structural controllability of complex networks.
Autom., 2019
Proceedings of the 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
Proceedings of the 12th Asian Control Conference, 2019
2018
Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive Cruise Control Example.
IEEE Trans. Intell. Transp. Syst., 2018
Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data.
IEEE Trans. Intell. Transp. Syst., 2018
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.
IEEE Trans. Autom. Control., 2018
IEEE Trans. Autom. Control., 2018
IEEE Trans. Autom. Control., 2018
Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event Systems Under Partial Observation.
IEEE Trans. Fuzzy Syst., 2017
IEEE Trans. Autom. Control., 2017
IEEE Trans. Autom. Control., 2017
Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach.
IEEE Trans. Autom. Control., 2017
Verification complexity of a class of observational properties for modular discrete events systems.
Autom., 2017
A new approach for the verification of infinite-step and K-step opacity using two-way observers.
Autom., 2017
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures.
Autom., 2017
Proceedings of the 11th Asian Control Conference, 2017
2016
IEEE Trans. Syst. Man Cybern. Syst., 2016
IEEE Trans. Autom. Control., 2016
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control., 2016
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control., 2016
Decentralized fault prognosis of discrete event systems with guaranteed performance bound.
Autom., 2016
On two-way observer and its application to the verification of infinite-step and K-step opacity.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
On the maximally-permissive range control problem in partially-observed discrete event systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Codiagnosability and coobservability under dynamic observations: Transformation and verification.
Autom., 2015
A general approach for solving dynamic sensor activation problems for a class of properties.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Distributed H∞ filtering over multiple-channel sensor networks with Markovian channel switching and time-varying delays.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
On the relationship between codiagnosability and coobservability under dynamic observations.
Proceedings of the American Control Conference, 2015
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.
Proceedings of the American Control Conference, 2015
2014
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014