24 lines
791 B
Markdown
24 lines
791 B
Markdown
---
|
|
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]]
|