The following pages link to Jun Liu (Q286068):
Displaying 9 items.
- Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays (Q5855362) (← links)
- Formal Methods for Control of Nonlinear Systems (Q5877492) (← links)
- A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems (Q6053240) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems (Q6398205) (← links)
- Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm (Q6527303) (← links)
- A generalized Nyquist-Shannon sampling theorem using the Koopman operator (Q6605802) (← links)
- Stochastic Lyapunov-barrier functions for robust probabilistic reach-avoid-stay specifications (Q6667858) (← links)
- Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems (Q6751624) (← links)