Yinan Li

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
An efficient conflict analysis method based on splitting and merging of formal contexts	2024-04-10	Paper
On a Tracial Version of Haemers Bound	2024-03-14	Paper
Connections between graphs and matrix spaces	2023-10-12	Paper
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems	2023-09-26	Paper
\(Q\|SI\rangle \): a quantum programming environment	2023-08-02	Paper
Attribute granulation in fuzzy formal contexts based on \(L\)-fuzzy concepts	2023-07-18	Paper
Formal Methods for Control of Nonlinear Systems	2023-02-13	Paper
Improved Algorithms for Alternating Matrix Space Isometry: From Theory to Practice	2023-02-07	Paper
On linear-algebraic notions of expansion	2022-12-26	Paper
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications	2022-08-23	Paper
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives	2022-04-08	Paper
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees	2022-04-05	Paper
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay	2021-09-28	Paper
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications	2021-05-28	Paper
Quantum Asymptotic Spectra of Graphs and Non-Commutative Graphs, and Quantum Shannon Capacities	2021-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q3386117	2021-01-14	Paper
Polarization filtering and WFRFT-based secure transmission scheme for wireless communications	2020-11-04	Paper
Group-theoretic generalisations of vertex and edge connectivities	2020-09-03	Paper
The Haemers bound of noncommutative graphs	2020-02-07	Paper
Incorporating Weisfeiler-Leman into algorithms for group isomorphism	2019-05-06	Paper
ROCS	2018-12-06	Paper
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach	2018-09-18	Paper
Tripartite-to-bipartite entanglement transformation by stochastic local operations and classical communication and the structure of matrix spaces	2018-04-10	Paper
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications	2018-02-25	Paper
On rank-critical matrix spaces	2017-11-21	Paper
Linear algebraic analogues of the graph isomorphism problem and the Erd\H{o}s-R\'enyi model	2017-08-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yinan Li