Minkowski terminal cost functions for MPC

From MaRDI portal
Publication:361070

DOI10.1016/j.automatica.2012.06.075zbMath1308.93080OpenAlexW2019845169MaRDI QIDQ361070

Saša V. Raković, Mircea Lazar

Publication date: 28 August 2013

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S000510981200341X




Related Items

JSRStabilizing model predictive control: On the enlargement of the terminal setModel reduction of switched affine systemsComputation of piecewise affine terminal cost functions for model predictive controlStabilizing discrete-time switched linear systemsAn LQ sub-optimal stabilizing feedback law for switched linear systemsState-feedback stabilization of discrete-time piecewise affine systemsBisimilar symbolic models for stochastic control systems without state-space discretizationStochastic reachability based motion planning for multiple moving obstacle avoidanceTimely monitoring of partially observable stochastic systemsA hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuitiesQuasi-dependent variables in hybrid automataStability analysis of large-scale networked control systems with local networksControl to facet for polynomial systemsSimulation-guided lyapunov analysis for hybrid dynamical systemsComponent based design of hybrid systemsInner approximated reachability analysisSampling-based approximation of the viability kernel for high-dimensional linear sampled-data systemsProofs from simulations and modular annotationsOn approximation metrics for linear temporal model-checking of stochastic systemsResilience to intermittent assumption violations in reactive synthesisModel measuring for hybrid systemsAbstracting and refining robustness for cyber-physical systemsParameter synthesis for polynomial biological modelsCompositionality results for cardiac cell dynamicsPowertrain control verification benchmarkDynamic multi-domain bipedal walking with atrias through SLIP based human-inspired controlTemporal logic inference for classification and prediction from dataEnergy and mean-payoff timed gamesAbstraction, discretization, and robustness in temporal logic control of dynamical systemsEdit distance for timed automataThe Minkowski-Lyapunov equation for linear dynamics: theoretical foundationsModel predictive control suitable for closed-loop re-identificationA type-based analysis of causality loops in hybrid systems modelers



Cites Work