The following pages link to Yinan Li (Q1679670):
Displayed 26 items.
- On rank-critical matrix spaces (Q1679671) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Polarization filtering and WFRFT-based secure transmission scheme for wireless communications (Q2209665) (← links)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
- Tripartite-to-bipartite entanglement transformation by stochastic local operations and classical communication and the structure of matrix spaces (Q2413447) (← links)
- (Q3386117) (← links)
- ROCS (Q4561444) (← links)
- Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach (Q4682267) (← links)
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications (Q4990166) (← links)
- Group-theoretic generalisations of vertex and edge connectivities (Q5119224) (← links)
- Quantum Asymptotic Spectra of Graphs and Non-Commutative Graphs, and Quantum Shannon Capacities (Q5151721) (← links)
- Improved Algorithms for Alternating Matrix Space Isometry: From Theory to Practice (Q5874494) (← links)
- Formal Methods for Control of Nonlinear Systems (Q5877492) (← links)
- A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems (Q6053240) (← links)
- Connections between graphs and matrix spaces (Q6074039) (← links)
- Attribute granulation in fuzzy formal contexts based on \(L\)-fuzzy concepts (Q6116542) (← links)
- An efficient conflict analysis method based on splitting and merging of formal contexts (Q6126861) (← links)
- \(Q|SI\rangle \): a quantum programming environment (Q6165773) (← links)
- On a Tracial Version of Haemers Bound (Q6195694) (← links)
- Linear algebraic analogues of the graph isomorphism problem and the Erd\H{o}s-R\'enyi model (Q6290127) (← links)
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications (Q6298216) (← links)
- Incorporating Weisfeiler-Leman into algorithms for group isomorphism (Q6318335) (← links)
- The Haemers bound of noncommutative graphs (Q6334308) (← links)
- A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees (Q6395783) (← links)
- On linear-algebraic notions of expansion (Q6421743) (← links)