Set-theoretic methods in control
From MaRDI portal
Publication:5898329
zbMath1140.93001MaRDI QIDQ5898329
Franco Blanchini, Stefano Miani
Publication date: 9 January 2007
Published in: Systems \& Control: Foundations \& Applications (Search for Journal in Brave)
Dynamic programming in optimal control and differential games (49L20) Stabilization of systems by feedback (93D15) Lyapunov and storage functions (93D30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Asymptotic stability in control theory (93D20) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Robust stability (93D09) Stability of solutions to ordinary differential equations (34D20) Research exposition (monographs, survey articles) pertaining to calculus of variations and optimal control (49-02)
Related Items (only showing first 100 items - show all)
Ultimate uniform bounded-stability of inertial coupling electromechanical system via nonlinear time-varying feedback ⋮ Attraction domain estimate for single-input affine systems with constrained control ⋮ Fast reference governors for second-order linear systems with constraints and an input time-delay ⋮ Implicit improved vertex control for uncertain, time-varying linear discrete-time systems with state and control constraints ⋮ JSR ⋮ The Minkowski-Lyapunov equation ⋮ Towards rigorous robust optimal control via generalized high-order moment expansion ⋮ Optimization of linear systems subject to bounded exogenous disturbances: the invariant ellipsoid technique ⋮ Dynamic Optimization Techniques for the Motion Coordination of Autonomous Vehicles ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ A distributed model predictive control scheme for leader–follower multi-agent systems ⋮ Linear matrix inequalities in control systems with uncertainty ⋮ Minkowski-Bellman inequality and equation ⋮ Robust control Minkowski-Lyapunov functions ⋮ Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints ⋮ Robust explicit model predictive control via regular piecewise-affine approximation ⋮ Convex MPC for exclusion constraints ⋮ Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems ⋮ Reference dependent invariant sets: sum of squares based computation and applications in constrained control ⋮ Comparison of guaranteed state estimators for linear time-invariant systems ⋮ Probabilistic reachable and invariant sets for linear systems with correlated disturbance ⋮ Counterexamples in synchronization: pathologies of consensus seeking gradient descent flows on surfaces ⋮ Iterative method for estimating the robust domains of attraction of non-linear systems: application to cancer chemotherapy model with parametric uncertainties ⋮ Robust satisfaction of nonlinear performance constraints using barrier-based model predictive control ⋮ Optimal robust fault detection of discrete‐time LPV systems with measurement error‐affected scheduling variables combining ZKF and pQP ⋮ Adaptive interpolating control for constrained systems with parametric uncertainty and disturbances ⋮ A fast dissipative robust nonlinear model predictive control procedure via quasi‐linear parameter varying embedding and parameter extrapolation ⋮ Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems ⋮ Robust adaptive model predictive control: Performance and parameter estimation ⋮ Predictive maintenance of actuators in linear systems: A receding horizon set‐theoretic approach ⋮ Safe learning-based model predictive control using the compatible models approach ⋮ Robust Kalman and Bayesian Set-Valued Filtering and Model Validation for Linear Stochastic Systems ⋮ Set-theoretic output feedback control: a bilinear programming approach ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Structural properties of the MAPK pathway topologies in PC12 cells ⋮ H-infinity set-membership observer design for discrete-time LPV systems ⋮ Model reduction of switched affine systems ⋮ Computation of piecewise affine terminal cost functions for model predictive control ⋮ Stabilizing discrete-time switched linear systems ⋮ An LQ sub-optimal stabilizing feedback law for switched linear systems ⋮ State-feedback stabilization of discrete-time piecewise affine systems ⋮ Bisimilar symbolic models for stochastic control systems without state-space discretization ⋮ Stochastic reachability based motion planning for multiple moving obstacle avoidance ⋮ Timely monitoring of partially observable stochastic systems ⋮ A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities ⋮ Quasi-dependent variables in hybrid automata ⋮ Stability analysis of large-scale networked control systems with local networks ⋮ Control to facet for polynomial systems ⋮ Simulation-guided lyapunov analysis for hybrid dynamical systems ⋮ Component based design of hybrid systems ⋮ Inner approximated reachability analysis ⋮ Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems ⋮ Proofs from simulations and modular annotations ⋮ On approximation metrics for linear temporal model-checking of stochastic systems ⋮ Resilience to intermittent assumption violations in reactive synthesis ⋮ Model measuring for hybrid systems ⋮ Abstracting and refining robustness for cyber-physical systems ⋮ Parameter synthesis for polynomial biological models ⋮ Compositionality results for cardiac cell dynamics ⋮ Powertrain control verification benchmark ⋮ Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control ⋮ Temporal logic inference for classification and prediction from data ⋮ Energy and mean-payoff timed games ⋮ Abstraction, discretization, and robustness in temporal logic control of dynamical systems ⋮ Edit distance for timed automata ⋮ Model predictive control suitable for closed-loop re-identification ⋮ Set invariance under output feedback: a set-dynamics approach ⋮ A discussion on sensor recovery techniques for fault tolerant multisensor schemes ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ GUARANTEED STRATEGIES FOR NONLINEAR MULTI-PLAYER PURSUIT-EVASION GAMES ⋮ Set Theoretic Methods in Model Predictive Control ⋮ Set-theoretic methods in robust detection and isolation of sensor faults ⋮ Stability analysis of discrete-time switched systems: a switched homogeneous Lyapunov function method ⋮ Local analysis of hybrid systems on polyhedral sets with state-dependent switching ⋮ Backward-forward reachable set splitting for state-constrained differential games ⋮ On stochastic linear systems with zonotopic support sets ⋮ Admissible sets for slowly-varying discrete-time systems ⋮ Robust output stabilization for a class of nonlinear uncertain stochastic systems under multiplicative and additive noises: the attractive ellipsoid method ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Computing Capture Tubes ⋮ A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains ⋮ Characterisation of interval-observer fault detection and isolation properties using the set-invariance approach ⋮ Set-membership estimation for linear time-varying descriptor systems ⋮ Stable LPV realisation of the Smith predictor ⋮ Unnamed Item ⋮ Estimation of the attraction domain for an affine system with constrained vector control closed by the linearizing feedback ⋮ Construction of invariant polytopic sets with specified complexity ⋮ Robust Output Feedback Interpolation Based Control for Constrained Linear Systems ⋮ Robust observer-based control of switched nonlinear systems with quantized and sample output ⋮ Robust shortest path planning and semicontractive dynamic programming ⋮ Unnamed Item ⋮ On the Computation of Set-Induced Control Lyapunov Functions for Continuous-Time Systems ⋮ Max-type copositive Lyapunov functions for switching positive linear systems ⋮ The obstacle avoidance motion planning problem for autonomous vehicles: a low-demanding receding horizon control scheme ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs ⋮ Invariant set-based robust fault detection and optimal fault estimation for discrete-time LPV systems with bounded uncertainties ⋮ Design of reduced complexity controllers for linear systems under constraints using data cluster analysis ⋮ Fault detection and isolation using viability theory and interval observers ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems ⋮ Explicit robustness and fragility margins for linear discrete systems with piecewise affine control law
This page was built for publication: Set-theoretic methods in control
