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
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, A Filippov approximation theorem for strengthened one-sided Lipschitz differential inclusions, Robust self‐triggered control for nonlinear cyber‐physical systems with state constraints under DoS attacks, Efficient min–max MPC: Achieving a large domain of attraction with short horizon, Cyber-physical systems subject to false data injections: a model predictive control framework for resilience operations, Robust adaptive model predictive control with persistent excitation conditions, Governor-parameterized barrier function for safe output tracking with locally sensed constraints, Model predictive control with implicit terminal ingredients, The best ellipsoidal estimates of invariant sets for a third-order switched affine system, Characterization, verification and computation of robust controlled invariants for monotone dynamical systems, Graph-based conditions for feedback stabilization of switched and LPV systems, Verification and runtime assurance for dynamical systems with uncertainty, Explicit robustness and fragility margins for linear discrete systems with piecewise affine control law, Safety-critical dynamic event-triggered control of nonlinear systems, Inventory control of a class of logistic networks, Constrained zonotopes: a new tool for set-based estimation and fault detection, Robust MPC suitable for closed-loop re-identification, based on probabilistic invariant sets, Exact recursive updating of state uncertainty sets for linear SISO systems, Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, Characterizing positively invariant sets: inductive and topological methods, PID control for electric vehicles subject to control and speed signal constraints, An optimization-based approach to sampled-data control of networked control systems with multiple delays, Invariance preserving discretization methods of dynamical systems, Control of linear systems subjected to exogenous disturbances: combined feedback, Self-triggered adaptive model predictive control of constrained nonlinear systems: a min-max approach, Similarity quantification for linear stochastic systems: a coupling compensator approach, Stability of periodically time-varying systems: Periodic Lyapunov functions, Minkowski terminal cost functions for MPC, A constructive theory of shape, Optimal control methodology for the counter-terrorism strategies: the relaxation based approach, On the computation of convex robust control invariant sets for nonlinear systems, Adaptive model predictive control for a class of constrained linear systems with parametric uncertainties, On the practical stability of control processes governed by implicit differential equations: the invariant ellipsoid based approach, Polarity of stability and robust positive invariance, Discussion on: ``Positive switched 2D linear systems described by the Roesser models, Frozen state conditions for exponential consensus of time-varying cooperative nonlinear networks, Localization of compact invariant sets of discrete-time control systems, On feasible sets for MPC and their approximations, A subspace approach to linear dynamical systems, Max-min Lyapunov functions for switched systems and related differential inclusions, Self-triggered output-feedback control of LTI systems subject to disturbances and noise, Robust Minkowski-Lyapunov functions, Convergent upper bounds of peak response of LTI and polytopic LTV systems through LMIs, Energy-aware robust model predictive control based on noisy wireless sensors, The calculation of discriminating kernel based on viability kernel and reachability, Root mean square gain of discrete-time switched linear systems under Dwell time constraints, Robust finite-time \(H_{\infty}\) control for impulsive switched nonlinear systems with state delay, Diagonally invariant exponential stability and stabilizability of switching linear systems, Passivity of switched linear systems: analysis and control design, Using the method of invariant ellipsoids for linear robust output stabilization of spacecraft, Combinatorial methods for invariance and safety of hybrid systems, Low complexity constrained control using higher degree Lyapunov functions, Robust control of uncertain systems: classical results and recent developments, Optimization of output feedback control under set-membership uncertainty, Control with constraints for linear stationary systems: an interpolation approach, Necessary and sufficient condition for stabilizability of discrete-time linear switched systems: a set-theory approach, Stability and feasibility of state constrained MPC without stabilizing terminal constraints, The Minkowski-Lyapunov equation for linear dynamics: theoretical foundations, Dwell time analysis of deterministic and stochastic switched systems, Piecewise-linear Lyapunov functions for structural stability of biochemical networks, Establishing robust stability of discrete-time systems with time-varying uncertainty: the Gram-SOS approach, Interval estimation for discrete-time linear systems: a two-step method, Arc-length-based Lyapunov tests for convergence and stability with applications to systems having a continuum of equilibria, Using the extraproximal method for computing the shortest-path mixed Lyapunov equilibrium in Stackelberg security games, Reachability and stabilization of discrete-time affine systems with disturbances, A structural classification of candidate oscillatory and multistationary biochemical systems, Model predictive control for constrained networked systems subject to data losses, A stabilizing control scheme for linear systems on controlled invariant sets, Criteria for asymptotic clustering of opinion dynamics towards bimodal consensus, Necessary and sufficient conditions for consensus in nonlinear monotone networks with unilateral interactions, Robust MPC via min-max differential inequalities, Extent-compatible control barrier functions, A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets, Robust domain of attraction estimation for a tumor growth model, Reorientation of linear switched systems using state feedback, Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint, An alternative converse Lyapunov theorem for discrete-time systems, A distributed solution to the network reconstruction problem, On a reachability problem for affine hypersurface systems on polytopes, Invariant sets computation for convex difference inclusions systems, Visibility maintenance via controlled invariance for leader-follower vehicle formations, Stability analysis of impulsive switched systems with time delays, Invariant sets for families of linear and nonlinear discrete systems with bounded disturbances, Controlled invariant feasibility - a general approach to enforcing strong feasibility in MPC applied to move-blocking, Stability of matrix polytopes with a dominant vertex and implications for system dynamics, Modal and transition dwell time computation in switching systems: a set-theoretic approach, Diagonal stability of interval matrices and applications, Robust stabilizing inventory control in supply networks under uncertainty of external demand and supply time-delays, Lagrangian approximations for stochastic reachability of a target tube, Control Minkowski-Lyapunov functions, LMI conditions for time-varying uncertain systems can be non-conservative, Non-conservative matrix inequality conditions for stability/stabilizability of linear differential inclusions, Adaptive control for a mobile robot under slip conditions using an LMI-based approach, Distributed transient frequency control for power networks with stability and performance guarantees, A Petri net approach to consensus in networks with joint-agent interactions, Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems, On the problem of control for ellipsoidal motions, Invariance and nonfragility in the rejection of exogenous disturbances, A receding horizon event-driven control strategy for intelligent traffic management, A sum-of-squares-based procedure to approximate the Pontryagin difference of basic semi-algebraic sets, A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer, Learning generalized Nash equilibria in multi-agent dynamical systems via extremum seeking control, Matrix measures in the qualitative analysis of parametric uncertain systems, Switching control design for LTI system with uncertain equilibrium: application to parallel interconnection of DC/DC converters, Limit cycles analysis and control of evolutionary game dynamics with environmental feedback, Set-membership estimation based on ellipsoid bundles for discrete-time LPV descriptor systems, Computation of invariant sets via immersion for discrete-time nonlinear systems, Swarm formation for perimeter surveillance in rectangular strips: a distributed model predictive approach, Minkowski-Lyapunov functions: alternative characterization and implicit representation, Small-gain theorem for safety verification of interconnected systems, Review on computational methods for Lyapunov functions, A convex optimization approach to synthesizing state feedback data-driven controllers for switched linear systems
