Empty Set

An empty set is defined as

$$\mathcal{O} := \emptyset. $$

Empty sets are used in hybrid systems to model instant transitions.

Website by Matthias Althoff, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner