7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.CR2023
Verifiable Manufacturing Using Blockchain
Michael Chiu, Jyotiraditya Panda, Abraham Goldsmith +1
We propose a blockchain-based solution for enabling verifiability of manufacturing processes. We base our solution on the methodology of verifiable computing which, originally deve…
math.OC2020★ 7 cited
A constraint-separation principle in model predictive control
Uroš Kalabić, Ilya Kolmanovsky
In this brief, we consider the constrained optimization problem underpinning model predictive control (MPC). We show that this problem can be decomposed into an unconstrained optim…