The following pages link to Jun Liu (Q286068):
Displaying 50 items.
- Invariance principles for hybrid systems with memory (Q286069) (← links)
- (Q313324) (redirect page) (← links)
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- (Q424796) (redirect page) (← links)
- Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations (Q424797) (← links)
- Class-\(\mathcal K \mathcal L\) estimates and input-to-state stability analysis of impulsive switched systems (Q450817) (← links)
- (Q540162) (redirect page) (← links)
- Input-to-state stability of impulsive and switching hybrid systems with time-delay (Q540163) (← links)
- On the \((h_0,h)\)-stabilization of switched nonlinear systems via state-dependent switching rule (Q606733) (← links)
- Impulsive stabilization of stochastic functional differential equations (Q619816) (← links)
- Stochastic consensus seeking with communication delays (Q665201) (← links)
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Delay-dependent robust control for uncertain switched systems with time-delay (Q1005302) (← links)
- Uniform stability of switched nonlinear systems (Q1036626) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657) (← links)
- On asymptotic convergence and boundedness of stochastic systems with time-delay (Q1932714) (← links)
- Stability analysis for networked control systems with sampling, transmission protocols and input delays (Q2061224) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- A note on the equivalence of a strongly convex function and its induced contractive differential equation (Q2151858) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
- On the convergence of reinforcement learning with Monte Carlo exploring starts (Q2665181) (← links)
- CHAOS ENTANGLEMENT: A NEW APPROACH TO GENERATE CHAOS (Q2845291) (← links)
- Stability Theorems for Delay Differential Inclusions (Q2980381) (← links)
- Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory (Q2980613) (← links)
- On synthesizing robust discrete controllers under modeling uncertainty (Q2986755) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- Generalized invariance principles for switched delay systems (Q2996207) (← links)
- (Q3010545) (← links)
- (Q3396117) (← links)
- STABILITY AND STABILIZATION OF IMPULSIVE AND SWITCHED HYBRID STOCHASTIC DELAY SYSTEMS (Q3455110) (← links)
- (Q3635293) (← links)
- (Q3653186) (← links)
- ROCS (Q4561444) (← links)
- Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions (Q4608237) (← links)
- Hybrid Dynamical Systems with Finite Memory (Q4637316) (← links)
- Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach (Q4682267) (← links)
- (Q4923490) (← links)
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications (Q4990166) (← links)
- Converse Barrier Functions via Lyapunov Functions (Q5034044) (← links)
- Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control (Q5036230) (← links)
- A Matrosov Theorem for Hybrid Systems With Memory (Q5036250) (← links)
- Exponential stability of switched stochastic delay systems with non-linear uncertainties (Q5168729) (← links)
- Robust Abstractions for Control Synthesis (Q5275323) (← links)
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications (Q5353268) (← links)
- Intermittent Impulsive Synchronization of Hyperchaos with Application to Secure Communication (Q5398011) (← links)
- (Q5407419) (← links)
- Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications (Q5853839) (← links)
