The behavioral half of the Arizona MegaFab MBSE model.
Five operational states, seven transitions, with guard conditions
that bridge the analytical layer (constraint outputs) to the
behavioral layer (state transitions).
Hover any state or transition for details. Click a state to spotlight only the transitions that touch it.
Select a state or transition above to see its definition, guard condition, and analytical chain.
How to read this diagram
States · five operational regimes. Color matches the simulator and the Dust Cloud Glossary.
Guard-fired transition · fires automatically when a constraint output crosses a threshold.