Fetching the paper…
Reading the bibliography…
We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP) representable control policies.
D. Psaltis, A. Sideris, and A. Yamamura, “A multilayered neural network controller,” IEEE Control Systems Magazine , vol. 8, no. 2, pp. 17–21, 1988
1988
Earlier work this paper cites.
K. Hornik, M. Stinchcombe, and H. White, “Multilayer feedforward networks are universal approximators,” Neural Networks , vol. 2, no. 5, pp. 359–366, 1989
1989
Earlier work this paper cites.
T. Parisini and R. Zoppoli, “A receding-horizon regulator for nonlinear systems and a neural approximation,” Automatica , vol. 31, no. 10, pp. 1443–1451, 1995
1995
Earlier work this paper cites.
D. Bertsekas, Nonlinear Programming . Athena Scientific, 1999
1999
Earlier work this paper cites.
A. Bemporad and M. Morari, “Control of systems integrating logic, dynamics, and constraints,” Automatica , vol. 35, no. 3, pp. 407–427, 1999
1999
Earlier work this paper cites.
D. Mayne, J. Rawlings, C. Rao, and P. Scokaert, “Constrained model predictive control: Stability and optimality,” Automatica , vol. 36, no. 6, pp. 789–814, 2000
2000
Earlier work this paper cites.
S. Qin and T. A. Badgwell, “A survey of industrial model predictive control technology,” Control Engineering Practice , vol. 11, no. 7, pp. 733–764, 2003
2003
Earlier work this paper cites.
D. Mayne, M. Seron, and S. Raković, “Robust model predictive control of constrained linear systems with bounded disturbances,” Automatica , vol. 41, no. 2, pp. 219–224, 2005
2005
Earlier work this paper cites.
C. N. Jones, P. Grieder, and S. V. Raković, “A logarithmic-time solution to the point location problem for parametric linear programming,” Automatica , vol. 42, no. 12, pp. 2215–2218, 2006
2006
Earlier work this paper cites.
M. Baes, M. Diehl, and I. Necoara, “Every continuous nonlinear control system can be obtained by parametric convex programming,” IEEE Transactions on Automatic Control , vol. 53, no. 8, pp. 1963–1967, 2008
2008
Earlier work this paper cites.
A. Alessio and A. Bemporad, A Survey on Explicit Model Predictive Control . Springer, 2009, pp. 345–369
2009
Earlier work this paper cites.
C. N. Jones and M. Morari, “Approximate explicit MPC using bilevel optimization,” in European Control Conference , 2009
2009
Earlier work this paper cites.
F. Bayat, T. A. Johansen, and A. A. Jalali, “Using hash tables to manage the time-storage complexity in a point location problem: Application to explicit model predictive control,” Automatica , vol. 47, no. 3, pp. 571–577, 2011
2011
Earlier work this paper cites.
A. Domahidi, M. N. Zeilinger, M. Morari, and C. N. Jones, “Learning a feasible and stabilizing explicit model predictive control law by robust optimization,” in IEEE Conference on Decision and Control and European Control Conference , 2011
2011
Earlier work this paper cites.
F. Oldewurtel, A. Parisio, C. N. Jones, D. Gyalistras, M. Gwerder, V. Stauch, B. Lehmann, and M. Morari, “Use of model predictive control and weather forecasts for energy efficient building climate control,” Energy and Buildings , vol. 45, pp. 15–27, 2012
2012
Earlier work this paper cites.
M. Kvasnica and M. Fikar, “Clipping-based complexity reduction in explicit MPC,” IEEE Transactions on Automatic Control , vol. 57, no. 7, pp. 1878–1883, 2012
2012
Earlier work this paper cites.
M. W. Müller and R. D’Andrea, “A model predictive controller for quadrocopter state interception,” in European Control Conference , 2013
2013
Earlier work this paper cites.
A. B. Hempel, P. J. Goulart, and J. Lygeros, “Every continuous piecewise affine function can be obtained by solving a parametric linear program,” in European Control Conference , 2013
2013
Earlier work this paper cites.
M. Herceg, M. Kvasnica, C. N. Jones, and M. Morari, “Multi-parametric toolbox 3.0,” in European Control Conference , 2013
2013
Cited alongside, same era.
D. P. Kingma and J. Ba, “Adam: A method for stochastic optimization,” in International Conference on Learning Representations , 2015
2015
Cited alongside, same era.
S. Diamond and S. Boyd, “CVXPY: A Python-embedded modeling language for convex optimization,” Journal of Machine Learning Research , vol. 17, no. 83, pp. 1–5, 2016
2016
Cited alongside, same era.
B. Amos and J. Z. Kolter, “OptNet: Differentiable optimization as a layer in neural networks,” in International Conference on Machine Learning , 2017
2017
Cited alongside, same era.
F. Borrelli, A. Bemporad, and M. Morari, Predictive Control for Linear and Hybrid Systems . Cambridge University Press, 2017
2017
Cited alongside, same era.
J. A. Paulson and A. Mesbah, “Approximate closed-loop robust model predictive control with guaranteed stability and constraint satisfaction,” IEEE Control Systems Letters , vol. 4, no. 3, pp. 719–724, 2020
2020
Later among the works it cites.
B. Karg and S. Lucia, “Efficient representation and approximation of model predictive control laws via deep learning,” IEEE Transactions on Cybernetics , vol. 50, no. 9, pp. 3866–3878, 2020
2020
Later among the works it cites.
J. Nubert, J. Köhler, V. Berenz, F. Allgöwer, and S. Trimpe, “Safe and fast tracking on a robot manipulator: Robust MPC and neural network control,” IEEE Robotics and Automation Letters , vol. 5, no. 2, pp. 3050–3057, 2020
2020
Later among the works it cites.
E. Maddalena, C. da S. Moraes, G. Waltrich, and C. N. Jones, “A neural network architecture to learn explicit MPC controllers from data,” IFAC-PapersOnLine , vol. 53, no. 2, pp. 11 362–11 367, 2020
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
J. Rawlings, D. Mayne, and M. Diehl, Model Predictive Control: Theory, Computation, and Design . Nob Hill Publishing, 2017
2017
Cited alongside, same era.
M. Neunert, M. Stäuble, M. Giftthaler, C. D. Bellicoso, J. Carius, C. Gehring, M. Hutter, and J. Buchli, “Whole-body nonlinear model predictive control through contacts for quadrupeds,” IEEE Robotics and Automation Letters , vol. 3, no. 3, pp. 1458–1465, 2018
2018
Cited alongside, same era.
S. Chen, K. Saulnier, N. Atanasov, D. D. Lee, V. Kumar, G. J. Pappas, and M. Morari, “Approximating explicit model predictive control using constrained neural networks,” in American Control Conference , 2018
2018
Cited alongside, same era.
M. Hertneck, J. Köhler, S. Trimpe, and F. Allgöwer, “Learning an approximate model predictive controller with guarantees,” IEEE Control Systems Letters , vol. 2, no. 3, pp. 543–548, 2018
2018
Cited alongside, same era.
R. R. Bunel, I. Turkaslan, P. Torr, P. Kohli, and P. K. Mudigonda, “A unified view of piecewise linear neural network verification,” in Advances in Neural Information Processing Systems , 2018
2018
Cited alongside, same era.
E. Wong and Z. Kolter, “Provable defenses against adversarial examples via the convex outer adversarial polytope,” in International Conference on Machine Learning , 2018
2018
Cited alongside, same era.
T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. Vechev, “Ai2: Safety and robustness certification of neural networks with abstract interpretation,” in IEEE Symposium on Security and Privacy , 2018
2018
Cited alongside, same era.
L. Hewing, K. P. Wabersich, M. Menner, and M. N. Zeilinger, “Learning-based model predictive control: Toward safe learning in control,” Annual Review of Control, Robotics, and Autonomous Systems , vol. 3, no. 1, pp. 269–296, 2020
2020
Later among the works it cites.
B. Karg and S. Lucia, “Stability and feasibility of neural network-based controllers via output range analysis,” in IEEE Conference on Decision and Control , 2020
2020
Later among the works it cites.
H. Dai, B. Landry, M. Pavone, and R. Tedrake, “Counter-example guided synthesis of neural network lyapunov functions for piecewise linear systems,” in IEEE Conference on Decision and Control , 2020
2020
Later among the works it cites.
R. Anderson, J. Huchette, W. Ma, C. Tjandraatmadja, and J. P. Vielma, “Strong mixed-integer programming formulations for trained neural networks,” Mathematical Programming , vol. 183, no. 1, pp. 3–39, Sept. 2020
2020
Later among the works it cites.
M. Jordan and A. G. Dimakis, “Exactly computing the local Lipschitz constant of ReLU networks,” in Advances in Neural Information Processing Systems , 2020
2020
Later among the works it cites.
E. T. Maddalena, M. W. F. Specq, V. L. Wisniewski, and C. N. Jones, “Embedded PWM predictive control of DC-DC power converters via piecewise-affine neural networks,” IEEE Open Journal of the Industrial Electronics Society , vol. 2, pp. 199–206, 2021
2021
Later among the works it cites.
X. Zhang, M. Bujarbaruah, and F. Borrelli, “Near-optimal rapid MPC using neural networks: A primal-dual policy learning framework,” IEEE Transactions on Control Systems Technology , vol. 29, no. 5, pp. 2102–2114, 2021
2021
Later among the works it cites.
P. Kumar, J. B. Rawlings, and S. J. Wright, “Industrial, large-scale model predictive control with structured neural networks,” Computers & Chemical Engineering , vol. 150, p. 107291, 2021
2021
Later among the works it cites.
S. Chen, M. Fazlyab, M. Morari, G. J. Pappas, and V. M. Preciado, “Learning Lyapunov functions for hybrid systems,” in International Conference on Hybrid Systems: Computation and Control , 2021
2021
Later among the works it cites.
C. Müller, F. Serre, G. Singh, M. Püschel, and M. Vechev, “Scaling polyhedral neural network verification on gpus,” in Proceedings of Machine Learning and Systems , vol. 3, 2021
2021
Later among the works it cites.
M. Fazlyab, M. Morari, and G. J. Pappas, “Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming,” IEEE Transactions on Automatic Control , vol. 67, no. 1, pp. 1–15, 2022
2022
Closest in time.
F. Fabiani and P. J. Goulart, “Reliably-stabilizing piecewise-affine neural network controllers,” IEEE Transactions on Automatic Control , pp. 1–15, 2022
2022
Closest in time.
Gurobi Optimization, LLC, “Gurobi optimizer reference manual,” 2022
2022
Closest in time.