Pages that link to "Item:Q2985874"

The following pages link to On infinity norms as Lyapunov functions for piecewise affine systems (Q2985874):

Displaying 33 items.

• Review on computational methods for Lyapunov functions (Q258388) (← links)
• Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances (Q1680815) (← links)
• An alternative converse Lyapunov theorem for discrete-time systems (Q2251660) (← links)
• Computation of Lyapunov functions for nonlinear discrete time systems by linear programming (Q2941708) (← 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)