MPT
From MaRDI portal
Software:16900
swMATH4732MaRDI QIDQ16900FDOQ16900
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Component based design of hybrid systems
- Polynomial-time probabilistic observability analysis of sampled-data piecewise affine systems
- Timely monitoring of partially observable stochastic systems
- An improved multi-parametric programming algorithm for flux balance analysis of metabolic networks
- Optimal complexity reduction of polyhedral piecewise affine systems
- Reply to ``comments on `analytical expression of explicit MPC solution via lattice piecewise-affine function' [Automatica 45 (2009) 910-917]
- Robust explicit model predictive control for linear systems via interpolation techniques
- A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality
- Robust invariant sets for constrained storage systems
- Zonotopes and Kalman observers: gain optimality under distinct uncertainty paradigms and robust convergence
- Polytopic invariant and contractive sets for closed-loop discrete fuzzy systems
- Reliability and time‐to‐failure bounds for discrete‐time constrained Markov jump linear systems
- Adaptive control for a mobile robot under slip conditions using an LMI-based approach
- A geometric approach to non-parametric density estimation
- Lexicographic perturbation for multiparametric linear programming with applications to control
- Exact recursive updating of state uncertainty sets for linear SISO systems
- PID control for electric vehicles subject to control and speed signal constraints
- A continuous approximation approach to the planar hub location-routing problem: modeling and solution algorithms
- An LQ sub-optimal stabilizing feedback law for switched linear systems
- Asymptotically exact stabilisation for constrained discrete Takagi-Sugeno systems via set-invariance
- Reconfigurable predictive control for redundantly actuated systems with parameterised input constraints
- Lagrangian approximations for stochastic reachability of a target tube
- A Multiparametric Quadratic Programming Algorithm With Polyhedral Computations Based on Nonnegative Least Squares
- The exact solution of multiparametric quadratically constrained quadratic programming problems
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
- Fully Inverse Parametric Linear/Quadratic Programming Problems via Convex Liftings
- Implications of Inverse Parametric Optimization in Model Predictive Control
- Compositionality results for cardiac cell dynamics
- A decentralized feedback approach for flow control in highway traffic networks
- Stochastic reachability of a target tube: theory and computation
- Parameter synthesis for polynomial biological models
- Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints
- Powertrain control verification benchmark
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Constrained piecewise linear systems with disturbances: controller design \textit{via} convex invariant sets
- Feasible parallel-update distributed MPC for uncertain linear systems sharing convex constraints
- Minimax strategy in approximate model predictive control
- Optimal move blocking strategies for model predictive control
- Low-complexity control of hybrid systems using approximate multi-parametric MILP
- Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously
- Piecewise quadratic Lyapunov functions over conical partitions for robust stability analysis
- Model reduction of switched affine systems
- Optimal and efficient adaptation in distributed real-time systems with discrete rates
- A complexity perspective on entailment of parameterized linear constraints
- Calculus of convex polyhedra and polyhedral convex functions by utilizing a multiple objective linear programming solver
- Provably safe and robust learning-based model predictive control
- An improved algorithm for combinatorial multi-parametric quadratic programming
- Stabilizing polynomial approximation of explicit MPC
- Control to facet for polynomial systems
- Zonotope-based recursive estimation of the feasible solution set for linear static systems with additive and multiplicative uncertainties
- Piecewise affine approximations of fluxes and enzyme kinetics from in vivo13C labeling experiments
- Robust tube-based MPC with enlarging the region of attraction for tracking of switched systems
- A peridynamic material model for the analysis of dynamic crack propagation in orthotropic media
- MPC of constrained discrete-time linear periodic systems -- a framework for asynchronous control: strong feasibility, stability and optimality via periodic invariance
- Temporal logic model predictive control for discrete-time systems
- Complexity reduction of explicit model predictive control via separation
- Fast model predictive control with soft constraints
- Reachability computation for polynomial dynamical systems
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- Explicit GPC control applied to an approximated linearized crane system
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- NMPC in active subspaces: dimensionality reduction with recursive feasibility guarantees
- Set operations and order reductions for constrained zonotopes
- Bisimilar symbolic models for stochastic control systems without state-space discretization
- A quick negative selection algorithm for one-class classification in big data era
- Complexity reduction in explicit MPC: a reachability approach
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Resilience to intermittent assumption violations in reactive synthesis
- Event-triggered and self-triggered control for linear systems based on reachable sets
- State-feedback stabilization of discrete-time piecewise affine systems
- Event-triggered control for nonlinear leaf spring hydraulic actuator suspension system with valve predictive management
- Reliable controllable sets for constrained Markov-jump linear systems
- Quasi-dependent variables in hybrid automata
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Energy and mean-payoff timed games
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
- Active fault diagnosis: a multi-parametric approach
- Design of reduced complexity controllers for linear systems under constraints using data cluster analysis
- Temporal logic inference for classification and prediction from data
- A family of piecewise affine control Lyapunov functions
- Stochastic output feedback control: convex lifting approach
- \( H_\infty\) control for continuous-time Markov jump nonlinear systems with piecewise-affine approximation
- Fast computation of binary search tree for PWA functions representation using intersection classification
- Proofs from simulations and modular annotations
- Time-distributed optimization for real-time model predictive control: stability, robustness, and constraint satisfaction
- Stable receding-horizon scenario predictive control for Markov-jump linear systems
- Adaptive fault-tolerant position control of a hexacopter subject to an unknown motor failure
- Low-complexity digital architecture for solving the point location problem in explicit model predictive control
- K-d tree based approach for point location problem in explicit model predictive control
- Stochastic MPC with offline uncertainty sampling
- Stochastic reachability based motion planning for multiple moving obstacle avoidance
- Robust explicit model predictive control via regular piecewise-affine approximation
- Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
- On the use of mixed-integer linear programming for predictive control with avoidance constraints
- A receding horizon event-driven control strategy for intelligent traffic management
- Semi-explicit MPC based on subspace clustering
- The obstacle avoidance motion planning problem for autonomous vehicles: a low-demanding receding horizon control scheme
- On the optimal worst-case experiment design for constrained linear systems
This page was built for software: MPT