Lei Song

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Singularities of secant varieties from a Hodge theoretic perspective	2024-11-22	Paper
Fixed-time extended state observer-based trajectory tracking control for autonomous underwater vehicles	2024-07-25	Paper
Deep learning techniques for spatiotemporal weighted pose Taekwondo features and their application in tactical analysis	2024-06-21	Paper
Singularities of secant varieties from a Hodge theoretic perspective	2023-10-13	Paper
Retrospective versus prospective score tests for genetic association with case‐control data	2023-10-09	Paper
Adaptive prescribed performance control of nonlinear asymmetric input saturated systems with application to AUVs	2021-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4965812	2021-03-10	Paper
Approximation of bias and mean‐squared error in two‐sample Mendelian randomization analyses	2020-10-26	Paper
Efficient 3D reconstruction of random heterogeneous media via random process theory and stochastic reconstruction procedure	2020-04-16	Paper
Dynamic mixed-item inventory control with limited capital and short-term financing	2020-01-20	Paper
Probabilistic Bisimulation for Realistic Schedulers	2019-12-19	Paper
Numerical solutions of nonlinear fractional differential equations by alternative Legendre polynomials	2019-11-14	Paper
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach	2019-05-03	Paper
Kodaira vanishing for singular varieties revisited	2018-09-11	Paper
Probabilistic bisimulation for realistic schedulers	2018-09-06	Paper
Probably safe or live	2018-04-23	Paper
Compositional Bisimulation Minimization for Interval Markov Decision Processes	2016-04-13	Paper
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs	2016-03-23	Paper
Properties of Central Catadioptric Circle Images and Camera Calibration	2015-10-02	Paper
Smooth Switching Output Tracking Control for LPV Systems	2015-01-13	Paper
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes	2015-01-13	Paper
Quasi-maximum likelihood estimators in generalized linear models with autoregressive processes	2014-12-10	Paper
Bisimulations Meet PCTL Equivalences for Probabilistic Automata	2013-06-24	Paper
Hypothesis testing in generalized linear models with functional coefficient autoregressive pro\-cesses	2013-06-11	Paper
Robust reliable tracking controller design against actuator faults for LPV systems	2013-05-21	Paper
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks	2012-09-21	Paper
Structural characteristics of genomic islands associated with GMP synthases as integration hotspot among sequenced microbial genomes	2012-08-07	Paper
Control-oriented approaches to anticipating synchronization of chaotic deterministic ratchets	2012-02-13	Paper
An improved approach to robust stability analysis and controller synthesis for LPV systems	2011-11-17	Paper
Dynamical models of happiness with fractional order	2011-09-23	Paper
Bisimulations Meet PCTL Equivalences for Probabilistic Automata	2011-09-02	Paper
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus	2011-01-05	Paper
Probabilistic Mobility Models for Mobile and Wireless Networks	2010-10-27	Paper
Chaos synchronization for a class of nonlinear oscillators with fractional order	2010-02-05	Paper
On Covering Simplices by Dilations in Dimensions 3 and 4	N/A	Paper

Research outcomes over time

This page was built for person: Lei Song