33 citations · 122 across the 18 of their papers we have counts for
3 papers · 1 filter
Verifying Contracts for Perturbed Control Systems using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Verifying specifications for large-scale control systems is of utmost importance, but can be hard in practice as most formal verification methods can not handle high-dimensional dy…
Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Verifying specifications for large-scale modern engineering systems can be a time-consuming task, as most formal verification methods are limited to systems of modest size. Recentl…
Economic Dispatch of a Single Micro-Gas Turbine Under CHP Operation with Uncertain Demands
Miel Sharf, Iliya Romm, Michael Palman +2
This work considers the economic dispatch problem for a single micro-gas turbine, governed by a discrete state-space model, under combined heat and power (CHP) operation and couple…