Functions like FILTER, SORTBY, UNIQUE, XLOOKUP, and VSTACK transform static grids into real-time data systems.
Abstract: This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based) ...