BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Shaoyuan Li
SearchCollections
Map detail
Shaoyuan Li13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipShaoyuan LiAShaoyuan LiResearcherStability Verification for Switched Systems using Neural Multiple Lyapunov FunctionsWStability Verification ...preprint / 2026On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using PolyhedrasWOn the Computation and ...preprint / 2026A Framework for Current-State Opacity under Dynamic Information Release MechanismWA Framework for Current...preprint / 2022A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal LogicWA Uniform Framework for...preprint / 2022Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control SystemsWSensor Deception Attack...preprint / 2022You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event SystemsWYou Don't Know What I K...preprint / 2022Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative SpecificationsWOptimal Synthesis of Op...preprint / 2021Modeling and Analysis of Networked Discrete Event Systems with Multiple Control ChannelsWModeling and Analysis o...preprint / 2020Convergence Filters for Efficient Economic MPC of Non-dissipative SystemsWConvergence Filters for...preprint / 2026Statistically Consistent Inverse Optimal Control for Linear-Quadratic Tracking with Random Time HorizonWStatistically Consisten...preprint / 2022Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output FairnessWFault Diagnosis of Disc...preprint / 2022Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model InformationWOnline Monitoring of Dy...preprint / 2022
Person12 links

Shaoyuan Li

Researcher

PaperStability Verification for Switched Systems using Neural Multiple Lyapunov FunctionsAuthorship / preprint / 2026PaperOn the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using PolyhedrasAuthorship / preprint / 2026PaperA Framework for Current-State Opacity under Dynamic Information Release MechanismAuthorship / preprint / 2022PaperA Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal LogicAuthorship / preprint / 2022PaperSensor Deception Attacks Against Initial-State Privacy in Supervisory Control SystemsAuthorship / preprint / 2022PaperYou Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event SystemsAuthorship / preprint / 2022PaperOptimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative SpecificationsAuthorship / preprint / 2021PaperModeling and Analysis of Networked Discrete Event Systems with Multiple Control ChannelsAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)