Xiang Yin

IEEE Trans. Autom. Control., August, 2024

Distributed Fault Diagnosis in Discrete Event Systems With Transmission Delay Impairments.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., August, 2024

A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems.

[BibT_eX]

[DOI]

Jianing Zhao

Christoforos N. Hadjicostis

IEEE Trans. Autom. Control., July, 2024

Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., May, 2024

Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion Functions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., April, 2024

Robust Learning and Control of Time-Delay Nonlinear Systems With Deep Recurrent Koopman Operators.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, March, 2024

Model predictive monitoring of dynamical systems for signal temporal logic specifications.

[BibT_eX]

[DOI]

Autom., February, 2024

Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Veh., January, 2024

A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic.

[BibT_eX]

[DOI]

Weijie Dong

IEEE Trans. Autom. Control., January, 2024

Sensor deception attacks against security in supervisory control systems.

[BibT_eX]

[DOI]

Jingshi Yao

Autom., January, 2024

Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2024

Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2024

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions.

[BibT_eX]

[DOI]

Shuqi Wang

CoRR, 2024

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications.

[BibT_eX]

[DOI]

CoRR, 2024

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach.

[BibT_eX]

[DOI]

CoRR, 2024

MetaFruit Meets Foundation Models: Leveraging a Comprehensive Multi-Fruit Dataset for Advancing Agricultural Foundation Models.

[BibT_eX]

[DOI]

CoRR, 2024

Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks.

[BibT_eX]

[DOI]

CoRR, 2024

Learning Local Control Barrier Functions for Safety Control of Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2024

On Approximate Opacity of Stochastic Control Systems.

[BibT_eX]

[DOI]

CoRR, 2024

SoybeanNet: Transformer-based convolutional neural network for soybean pod counting from Unmanned Aerial Vehicle (UAV) images.

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2024

Optimal supervisory control of discrete event systems for cyclic tasks.

[BibT_eX]

[DOI]

Autom., 2024

On the verification of detectability for timed discrete event systems.

[BibT_eX]

[DOI]

Autom., 2024

Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges.

[BibT_eX]

[DOI]

Bingzhao Gao

Xiao Yu

Annu. Rev. Control., 2024

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots.

[BibT_eX]

[DOI]

Ruijia Liu

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Computer and Automation Engineering, 2024

ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Computer and Automation Engineering, 2024

Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Control & Automation, 2024

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

Self-Triggered Model Predictive Control for Signal Temporal Logic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics.

[BibT_eX]

[DOI]

Peng Lv

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., September, 2023

Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems.

[BibT_eX]

[DOI]

Shuo Yang

IEEE Trans. Autom. Control., August, 2023

Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical Model.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., March, 2023

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Abstraction-Based Verification of Approximate Preopacity for Control Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.

[BibT_eX]

[DOI]

Siqi Wang

CoRR, 2023

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.

[BibT_eX]

[DOI]

CoRR, 2023

Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints.

[BibT_eX]

[DOI]

Xinyi Yu

Lars Lindemann

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Abstraction-Based Synthesis of Controllers for Approximate Opacity.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Weijie Dong

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.

[BibT_eX]

[DOI]

Bohan Cui

Alessandro Giua

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications.

[BibT_eX]

[DOI]

Feifei Huang

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors.

[BibT_eX]

[DOI]

Yifan Xie

IEEE Trans. Autom. Control., 2022

Online Supervisory Control of Networked Discrete Event Systems With Control Delays.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Local Mean Payoff Supervisory Control for Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Markov decision processes with maximum entropy rate for Surveillance Tasks.

[BibT_eX]

[DOI]

Yu Chen

CoRR, 2022

You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks.

[BibT_eX]

[DOI]

CoRR, 2022

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

CoRR, 2022

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments.

[BibT_eX]

[DOI]

CoRR, 2022

You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.

[BibT_eX]

[DOI]

CoRR, 2022

A framework for current-state opacity under dynamic information release mechanism.

[BibT_eX]

[DOI]

Junyao Hou

Autom., 2022

Secure-by-construction synthesis of cyber-physical systems.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2022

Temporal Logic Robot Task Planning with Active Acquisition of Information.

[BibT_eX]

[DOI]

Jiawei Zhao

Proceedings of the 17th IEEE International Conference on Control & Automation, 2022

Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems.

[BibT_eX]

[DOI]

Jingshi Yao

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Feifei Huang

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.

[BibT_eX]

[DOI]

Yingying Liu

Proceedings of the American Control Conference, 2022

On the Verification of Detectability for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2021

On Approximate Opacity of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Siyuan Liu

IEEE Trans. Autom. Control., 2021

Marking Predictability and Prediction in Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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]".

[BibT_eX]

[DOI]

Autom., 2021

Verification and enforcement of strong infinite- and k-step opacity using state recognizers.

[BibT_eX]

[DOI]

Autom., 2021

Marking diagnosability verification in labeled Petri nets.

[BibT_eX]

[DOI]

Autom., 2021

An improved approach for verifying delayed detectability of discrete-event systems.

[BibT_eX]

[DOI]

Autom., 2021

Optimal supervisory control with mean payoff objectives and under partial observation.

[BibT_eX]

[DOI]

Autom., 2021

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yingying Liu

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.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints.

[BibT_eX]

[DOI]

Wei Xiao

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2020

Synthesis of Dynamic Masks for Infinite-Step Opacity.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Opacity Enforcing Supervisory Control using Non-deterministic Supervisors.

[BibT_eX]

[DOI]

Yifan Xie

CoRR, 2020

Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels.

[BibT_eX]

[DOI]

Zhaocong Liu

CoRR, 2020

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Yuanjiang Yang

Proceedings of the 16th IEEE International Conference on Control & Automation, 2020

On Attack Mitigation in Supervisory Control Systems: A Tolerant Control Approach.

[BibT_eX]

[DOI]

Jingshi Yao

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.

[BibT_eX]

[DOI]

Siyuan Liu

Proceedings of the 2020 American Control Conference, 2020

2019

Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2019

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.

[BibT_eX]

[DOI]

Kuize Zhang

IEEE Trans. Autom. Control., 2019

Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets".

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Robust Fault Diagnosis of Stochastic Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

On Approximate Opacity of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Infinite-step opacity and K-step opacity of stochastic discrete-event systems.

[BibT_eX]

[DOI]

Autom., 2019

A general approach for optimizing dynamic sensor activation for discrete event systems.

[BibT_eX]

[DOI]

Autom., 2019

Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.

[BibT_eX]

[DOI]

Tomás Masopust

Autom., 2019

Enforcing opacity by insertion functions under multiple energy constraints.

[BibT_eX]

[DOI]

Autom., 2019

Block-based minimum input design for the structural controllability of complex networks.

[BibT_eX]

[DOI]

Autom., 2019

Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2019

Towards approximate opacity of cyber-physical system: WIP abstract.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Online Supervisory Control of Networked Discrete-Event Systems with Control Delays.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Supervisory Control under Local Mean Payoff Constraints.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Supervisory Control for Delayed Detectability of Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Improved Approaches for Verifying I-Detectability of Discrete-Event Systems.

[BibT_eX]

[DOI]

Zhaocong Liu

Proceedings of the 12th Asian Control Conference, 2019

2018

Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive Cruise Control Example.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Minimization of Sensor Activation in Decentralized Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Verification of Prognosability for Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Trajectory detectability of discrete-event systems.

[BibT_eX]

[DOI]

Weilin Wang

Syst. Control. Lett., 2018

Deciding Detectability for Labeled Petri Nets.

[BibT_eX]

[DOI]

Tomás Masopust

CoRR, 2018

Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets.

[BibT_eX]

[DOI]

Wenqing Wu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Mean Payoff Supervisory Control Under Partial Observation.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2017

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Synthesis of Maximally-Permissive Supervisors for the Range Control Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Cloud Resource Allocation for Cloud-Based Automotive Applications.

[BibT_eX]

[DOI]

CoRR, 2017

Verification complexity of a class of observational properties for modular discrete events systems.

[BibT_eX]

[DOI]

Autom., 2017

A new approach for the verification of infinite-step and K-step opacity using two-way observers.

[BibT_eX]

[DOI]

Autom., 2017

Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures.

[BibT_eX]

[DOI]

Autom., 2017

Infinite-step opacity of stochastic discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the 11th Asian Control Conference, 2017

2016

Reliable Decentralized Fault Prognosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2016

Decentralized Supervisory Control With Intersection-Based Architecture.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Decentralized fault prognosis of discrete event systems with guaranteed performance bound.

[BibT_eX]

[DOI]

Autom., 2016

On two-way observer and its application to the verification of infinite-step and K-step opacity.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

On the maximally-permissive range control problem in partially-observed discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Codiagnosability and coobservability under dynamic observations: Transformation and verification.

[BibT_eX]

[DOI]

Autom., 2015

A general approach for solving dynamic sensor activation problems for a class of properties.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Minimization of sensor activation in decentralized fault diagnosis of discrete event systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the relationship between codiagnosability and coobservability under dynamic observations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.

[BibT_eX]

[DOI]