Xin Xin Liu

From MaRDI portal
Person:1894679

Available identifiers

zbMath Open liu.xinxinMaRDI QIDQ1894679

List of research outcomes





PublicationDate of PublicationType
Synchronization of complex networks with Markovian switching coupling via aperiodically quantized intermittent pinning control2024-07-25Paper
Improved DRL-based energy-efficient UAV control for maximum lifecycle2024-04-30Paper
Simple linear-time algorithms for minimal fixed points2023-12-02Paper
Event‐triggered dynamic output feedback control for networked nonlinear systems2023-10-30Paper
Characterization and verification of stuttering equivalence2023-08-02Paper
Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof2023-07-26Paper
Dynamics of a predator-prey system with inducible defense and disease in the prey2023-06-20Paper
Numerical investigation on lean methane combustion with modified effective thermal conductivity of the porous media2022-07-22Paper
Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.2022-07-18Paper
Robust hierarchical feature selection driven by data and knowledge2022-04-14Paper
Comparison and analysis of two forms of harvesting functions in the two-prey and one-predator model2022-01-19Paper
https://portal.mardi4nfdi.de/entity/Q33815122021-09-29Paper
Dynamics and Optimal Control of a Monod–Haldane Predator–Prey System with Mixed Harvesting2021-02-05Paper
Negative Results on Decidability and Small Model Property of Process Equations2020-02-24Paper
Event-triggered sliding mode control of nonlinear dynamic systems2020-01-20Paper
Reduced-order model approximation of fuzzy switched systems with pre-specified performance2020-01-06Paper
Scheme on Cross-Domain Identity Authentication Based on Group Signature for Cloud Computing2019-10-02Paper
Fault detection filtering for nonlinear switched systems via event-triggered communication approach2019-04-24Paper
Logics for bisimulation and divergence2018-07-17Paper
Sliding Mode Control of Discrete-Time Switched Systems with Repeated Scalar Nonlinearities2018-06-27Paper
Sliding mode control of hybrid switched systems via an event-triggered mechanism2018-06-14Paper
A joint construction research for multi-period medicine reverse logistics network with consideration of carbon emissions2018-01-29Paper
Analyzing divergence in bisimulation semantics2017-10-20Paper
SinkTrail: A Proactive Data Reporting Protocol for Wireless Sensor Networks2017-07-12Paper
Expansive-Bisimulation for Context-Free Processes2008-09-25Paper
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau2008-09-17Paper
A modal logic for message passing processes1995-07-24Paper
https://portal.mardi4nfdi.de/entity/Q40387161993-05-18Paper
Compositionality Through an Operational Semantics of Contexts1992-06-28Paper
Denote CSP with temporal formulas1990-01-01Paper

Research outcomes over time

This page was built for person: Xin Xin Liu