MPT
From MaRDI portal
Software:16900
No author found.
Related Items (only showing first 100 items - show all)
Event-triggered control for nonlinear leaf spring hydraulic actuator suspension system with valve predictive management ⋮ Robust explicit model predictive control for linear systems via interpolation techniques ⋮ Constrained optimal control of an electronic throttle ⋮ Observability analysis and state observers for automotive powertrains with backlash: a hybrid system approach ⋮ Modelling and optimal receding-horizon control of maritime container terminals ⋮ Feedback Control of Discrete Linear Switching Systems with Bounded State and Control Input in the Presence of Disturbances ⋮ JSR ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Fast computation of binary search tree for PWA functions representation using intersection classification ⋮ \( H_\infty\) control for continuous-time Markov jump nonlinear systems with piecewise-affine approximation ⋮ Reduced order model predictive control for constrained discrete-time linear systems ⋮ Online robust tube-based MPC for time-varying systems: a practical approach ⋮ Polynomial-time probabilistic observability analysis of sampled-data piecewise affine systems ⋮ Homothetic tube model predictive control ⋮ Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions ⋮ Constrained piecewise linear systems with disturbances: Controller designviaconvex invariant sets ⋮ Vertical hierarchical MPC for constrained linear systems ⋮ Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis ⋮ Economic model predictive control for robust optimal operation of sparse storage networks ⋮ Online learning based risk-averse stochastic MPC of constrained linear uncertain systems ⋮ Stochastic reachability of a target tube: theory and computation ⋮ Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints ⋮ Temporally and spatially flexible plan execution for dynamic hybrid systems ⋮ Robust explicit model predictive control via regular piecewise-affine approximation ⋮ Viability, viscosity, and storage functions in model-predictive control with terminal constraints ⋮ Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ Determining optimal input-output properties: a data-driven approach ⋮ Stochastic MPC with offline uncertainty sampling ⋮ Active fault diagnosis: a multi-parametric approach ⋮ Computational techniques for reachability analysis of Max-Plus-Linear systems ⋮ \(\mathcal{H}_2\) control and filtering of discrete-time LPV systems exploring statistical information of the time-varying parameters ⋮ Tube-based robust output feedback MPC for constrained LTV systems with applications in chemical processes ⋮ Time-distributed optimization for real-time model predictive control: stability, robustness, and constraint satisfaction ⋮ Characterization and computation of control invariant sets for linear impulsive control systems ⋮ On solving parametric multiobjective quadratic programs with parameters in general locations ⋮ Exact values of quantum violations in low-dimensional Bell correlation inequalities ⋮ Explicit nonlinear model predictive control. Theory and applications ⋮ A dynamic programming approach to solving constrained linear-quadratic optimal control problems ⋮ Feedback and invariance under uncertainty via set-iterates ⋮ Robust output-feedback model predictive control for systems with unstructured uncertainty ⋮ Predictive Control for Linear and Hybrid Systems ⋮ A Multiparametric Quadratic Programming Algorithm With Polyhedral Computations Based on Nonnegative Least Squares ⋮ Temporal logic model predictive control for discrete-time 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 ⋮ STL*: extending signal temporal logic with signal-value freezing operator ⋮ Reconfigurable predictive control for redundantly actuated systems with parameterised input constraints ⋮ Constraint-softening in model predictive control with off-line-optimized admissible sets for systems with additive and multiplicative disturbances ⋮ Lexicographic perturbation for multiparametric linear programming with applications to control ⋮ Approximate bisimulation relations for constrained linear systems ⋮ Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems ⋮ A space exploration algorithm for multiparametric programming via Delaunay triangulation ⋮ An efficient algorithm for optimal control of PWA systems with polyhedral performance indices ⋮ Adaptive model predictive control for linear time varying MIMO systems ⋮ Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis ⋮ Effective variable switching point predictive current control for ac low-voltage drives ⋮ Fully Inverse Parametric Linear/Quadratic Programming Problems via Convex Liftings ⋮ Implications of Inverse Parametric Optimization in Model Predictive Control ⋮ Multiparametric linear programming with applications to control ⋮ Computing multiple-output regression quantile regions from projection quantiles ⋮ Optimality of robust disturbance-feedback strategies ⋮ Minimax strategy in approximate model predictive control ⋮ Set identification of the censored quantile regression model for short panels with fixed effects ⋮ Reliable controllable sets for constrained Markov-Jump Linear Systems ⋮ Performance bounds and suboptimal policies for linear stochastic control via LMIs ⋮ Efficient On-Line Computation of Constrained Optimal Control ⋮ Convex-lifting-based robust control design using the tunable robust invariant sets ⋮ Hierarchical solution of non-convex optimal control problems with application to autonomous driving ⋮ Stabilizing low complexity feedback control of constrained piecewise affine systems ⋮ Model predictive control: recent developments and future promise ⋮ On the optimal worst-case experiment design for constrained linear systems ⋮ The obstacle avoidance motion planning problem for autonomous vehicles: a low-demanding receding horizon control scheme ⋮ On the disturbance model in the robustification of explicit predictive control ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems
This page was built for software: MPT
