---
id: 20260109155838
title: Reactive Programs
type: permanent
created: 2026-01-09T20:58:38Z
modified: 2026-01-09T21:08:01Z
tags: []
---

# Reactive Programs
Reactive programs, or reactive systems, are those that have
an output or state change controlled by the current state
and input. These programs react to environmental changes in
real time. Basically every relevant control system is a
'reactive' system, but in computer science, reactive
programs have a unique meaning. Reactive computer programs
are those that have computation depending on external
inputs, a.k.a. stuff from OUTSIDE of the computer's world.


## Relevant Sources
[[strix-explicit-reactive-synthesis-strikes-back]]
[[hybrid-automata-an-algorithmic-approach-to-the-specification-and-verification-of-hybrid-systems]]