Pages that link to "Item:Q4393080"

The following pages link to Computation of piecewise quadratic Lyapunov functions for hybrid systems (Q4393080):

Displaying 50 items.

• Stability and stabilization in switched discrete-time systems (Q2864811) (← links)
• Switched system approach to stabilization of networked control systems (Q2903959) (← links)
• Event-driven model predictive control of timed hybrid Petri nets (Q2925108) (← links)
• Frequency-domain L 2-stability conditions for time-varying linear and nonlinear MIMO systems (Q2927360) (← links)
• Finite-time stability analysis of impulsive discrete-time switched systems with nonlinear perturbation (Q2938612) (← links)
• Computation of piecewise affine terminal cost functions for model predictive control (Q2986943) (← links)
• Stabilizing discrete-time switched linear systems (Q2986944) (← links)
• An LQ sub-optimal stabilizing feedback law for switched linear systems (Q2986945) (← links)
• State-feedback stabilization of discrete-time piecewise affine systems (Q2986947) (← links)
• Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948) (← links)
• Stochastic reachability based motion planning for multiple moving obstacle avoidance (Q2986949) (← links)
• Timely monitoring of partially observable stochastic systems (Q2986950) (← links)
• A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities (Q2986953) (← links)
• Quasi-dependent variables in hybrid automata (Q2986955) (← links)
• Stability analysis of large-scale networked control systems with local networks (Q2986956) (← links)
• Control to facet for polynomial systems (Q2986957) (← links)
• Simulation-guided lyapunov analysis for hybrid dynamical systems (Q2986958) (← links)
• Component based design of hybrid systems (Q2986959) (← links)
• JSR (Q2986960) (← links)
• Inner approximated reachability analysis (Q2986962) (← links)
• Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems (Q2986964) (← links)
• Proofs from simulations and modular annotations (Q2986965) (← links)
• On approximation metrics for linear temporal model-checking of stochastic systems (Q2986966) (← links)
• Resilience to intermittent assumption violations in reactive synthesis (Q2986967) (← links)
• Model measuring for hybrid systems (Q2986968) (← links)
• Abstracting and refining robustness for cyber-physical systems (Q2986969) (← links)
• Parameter synthesis for polynomial biological models (Q2986970) (← links)
• Compositionality results for cardiac cell dynamics (Q2986971) (← links)
• Powertrain control verification benchmark (Q2986973) (← links)
• Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control (Q2986978) (← links)
• Temporal logic inference for classification and prediction from data (Q2986980) (← links)
• Energy and mean-payoff timed games (Q2986981) (← links)
• Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
• Edit distance for timed automata (Q2986983) (← links)
• Switched state feedback for uncertain continuous-time systems with interval delays (Q3000468) (← links)
• Approaches to robust ℋ︁∞ static output feedback control of discrete-time piecewise-affine systems with norm-bounded uncertainties (Q3008842) (← links)
• Discrete-time control for switched positive systems with application to mitigating viral escape (Q3011217) (← links)
• Performance analysis and design of dynamic output feedback control for switched systems (Q3015134) (← links)
• Nonsynchronized state estimation of uncertain discrete-time piecewise affine systems (Q3016547) (← links)
• Control of near-grazing dynamics and discontinuity-induced bifurcations in piecewise-smooth dynamical systems (Q3064234) (← links)
• Exponential stability and<i>L</i>₂-gain analysis for a class of faulty systems (Q3082680) (← links)
• Lyapunov function construction for ordinary differential equations with linear programming (Q3148712) (← links)
• Stability analysis of switched systems via redundancy factors (Q3152482) (← links)
• Performance analysis of reset control systems (Q3161746) (← links)
• Beyond Itô versus Stratonovich (Q3301372) (← links)
• Robust reliable control of switched uncertain systems with time-varying delay (Q3437464) (← links)
• Verification of cooperating traffic agents (Q3442637) (← links)
• Robust<b><i>H</i></b>_∞filtering for uncertain discrete piecewise time-delay systems (Q3442665) (← links)
• Piecewise quadratic Lyapunov functions over conical partitions for robust stability analysis (Q3465678) (← links)
• Complementarity Systems in Constrained Steady-State Optimal Control (Q3523113) (← links)