Figure 1From: Anticipating complex network vulnerabilities through abstraction-based analysisFinite state abstraction. Cartoon illustrates that the abstraction preserves network dynamics: trajectories of the infinite state system (curves in blue region at bottom) are mapped to equivalent finite state trajectories (sequences of state transitions at top).Back to article page