A physical automation language

When the grid goes dark,
the policy keeps thinking.

ISLE turns IoT telemetry, energy priorities, and safety constraints into executable microgrid automation—before a real outage puts critical infrastructure at risk.

EDGE RUNTIME ONLINE
InputPolicy + telemetry
RuntimeDeterministic twin
TargetsMQTT · Node-RED
Safety by constructionUnits, failover, and critical loads are compile-time checked.
Leyte · Philippines

Keep ICU and vaccine cold-chain online through a 12-hour monsoon outage.

main.isle
Type-safe
90 tokens15 AST nodesISLE 0.1
Digital twin
Grid connected
06:00
Policy armed
Solar array0.0 kW
Utility grid11.4 kW
battery84% · 40.3 kWh
ISLE edge runtimeMonitoring
Critical busicu · vaccine fridge
Flexible bushvac · water pump
Solar0.0 kW
State of charge84%
Critical uptime100%
Cold chain4.1°C
compiler targetsmqttnode_red
Battery state of chargePolicy vs. conventional controller
ISLE policy Baseline
06:00OUTAGE · 09:00–21:0000:00
Resilience delta
11.8hourscritical-load autonomy
ISLE99%critical uptime
Baseline60%critical uptime

61.5 kWh shifted away from noncritical loads.

01 / LANGUAGE DESIGN

Program outcomes.
Not vendor glue.

Today’s energy controllers scatter physical units, MQTT topics, and emergency logic across dashboards and scripts. ISLE makes them one inspectable program.

01

Physical units are types

kW, kWh, hours, percent, and temperature cannot be mixed accidentally.

48kWh≠48kW
02

Failure is part of the syntax

A policy cannot compile until critical loads, reserve, and a fallback path are explicit.

ISL000 failover-complete
03

Portable at the edge

The same typed policy emits MQTT bindings, Node-RED flows, and deterministic runtime bytecode.

MQTT / QoS 2Node-REDISLE IR
COMPILER PIPELINE

One source of truth from intent to actuator.

ISLE sourceHuman-readable policy
Typed ASTUnits + invariants
Policy IRDeterministic bytecode
Edge targetsMQTT + Node-RED
02 / REAL-WORLD IMPACT

Resilience is not one place.

ISLE’s domain primitives stay stable while the devices, loads, and physical constraints change. The included programs are executable—not static mockups.

01
Leyte · Philippines

Rural clinic

Keep ICU and vaccine cold-chain online through a 12-hour monsoon outage.

Simulation ready
02
Vanuatu · Pacific

Island school

Preserve radio and learning networks during cyclone isolation.

Simulation ready
03
Kerala · India

Community food hub

Protect refrigeration while deferring high-energy processing loads.

Simulation ready
THE FUTURE OF PROGRAMMING IS PHYSICAL

Infrastructure should explain what it will do before it does it.

3deployment targets
5compile-time safety gates
∞microgrid topologies