Pages that link to "Item:Q361070"

The following pages link to Minkowski terminal cost functions for MPC (Q361070):

Displaying 31 items.

• The Minkowski-Lyapunov equation for linear dynamics: theoretical foundations (Q466270) (← links)
• Model predictive control suitable for closed-loop re-identification (Q2454176) (← 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)