Systems & Control Letters · 2018 · 35 citations · 17 references
Reachability AnalysisComputational Complexity TheoryEngineeringReachability ProblemFormal MethodsSystems EngineeringComputational ComplexityExplicit MpcCombinatorial OptimizationFormal Verification
17
The explicit linear quadratic regulator for constrained systems
Alberto Bemporad, Manfred Morari, Vivek Dua et al. · Automatica · 2002 · 3.2K citations
Constrained Systems, Constrained Optimization, Systems Engineering +2
Model Building in Mathematical Programming
Mike Maher, H. P. Williams · Journal of the Operational Research Society · 1979 · 1.3K citations
Martin Herceg, Michal Kvasnica, Colin N. Jones et al. · 2013 · 1.2K citations · Full text
The European Control Conference
2014 · 654 citations
European Control Conference, Political Science, European Issue