Meilun Li

发表

Probabilistic Preference Planning Problem for Markov Decision Processes

Zhikun She, Lijun Zhang, Ernst Moritz Hahn, 2020, IEEE Transactions on Software Engineering.

Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems: Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems

Zhikun She, Meilun Li, Xiuliang Zheng, 2018 .

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming

Zhikun She, Meilun Li, Kairong Liu, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems

Bai Xue, Martin Fränzle, Zhikun She, 2018, FORMATS.

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions

Dan Song, Zhikun She, Meilun Li, 2015, CASC.

Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov‐like functions

Zhikun She, Meilun Li, Xiuliang Zheng, 2018 .

Corrigendum to “Computing multiple Lyapunov‐like functions for inner estimates of domains of attraction of switched hybrid systems” [International Journal of Robust and Nonlinear Control, 2018;28(17):5191–5212. DOI: 10.1002/rnc.4280]

Zhikun She, Meilun Li, Xiuliang Zheng, 2018 .

Preference Planning for Markov Decision Processes

Lijun Zhang, Zhikun She, Andrea Turrini, 2015, AAAI.

Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions

Zhikun She, Meilun Li, 2021, IEEE Transactions on Automatic Control.

$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations

Zhikun She, Meilun Li, Ruiqi Hu, 2021, SETTA.

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming

Zhikun She, Meilun Li, Kairong Liu, 2021, SIAM J. Control. Optim..