Spanda

Smart Building

Commercial tower floor readiness, lockdown, and service robot inspection missions.

Mission: floor_readiness.sd


Quick start

cd examples/solutions/smart-spaces
spanda check smart-building/floor_readiness.sd
spanda verify smart-building/floor_readiness.sd --target BuildingEdgeV1 --config spanda.toml
spanda control-center serve --config spanda.toml --program smart-building/floor_readiness.sd

Demonstrates