Control Systems templates
Ready-to-deploy state contracts in the Control Systems category. Each is a running machine — protocols pre-composed into states and transitions, deployable as-is onto your state machine.
| Template | What it does |
|---|---|
| Control-Loop Stability Margin | CT phase/gain margin tracking: stable → marginal → unstable as a closed loop's margins erode (sensor lag, plant drift). Catches oscillation before it runs away. |
| ZeqADAS | CT1 watch — safe → caution → imminent when collision_risk crosses your thresholds; auto-logged with a ZeqProof per transition. Advanced driver assistance — sens |
| ZeqEVBattery | CT1 watch — safe → caution → imminent when collision_risk crosses your thresholds; auto-logged with a ZeqProof per transition. EV battery management with HulyaP |
| ZeqAutonomous | CT1 watch — safe → caution → imminent when collision_risk crosses your thresholds; auto-logged with a ZeqProof per transition. Full autonomous driving stack — p |
| ZeqV2X | CT1 watch — safe → caution → imminent when collision_risk crosses your thresholds; auto-logged with a ZeqProof per transition. Vehicle-to-everything communicati |
| ZeqCrashSim | CT1 watch — safe → caution → imminent when collision_risk crosses your thresholds; auto-logged with a ZeqProof per transition. Vehicle crash simulation with Hul |
See the full Templates Library for all categories, or the State Contracts model for how to author your own.