---
id: 20260109155410
title: Linear Hybrid Automata
type: permanent
created: 2026-01-09T20:54:10Z
modified: 2026-01-09T21:11:18Z
tags: []
---

# Linear Hybrid Automata
Linear hybrid automata are [[hybrid-automata]] systems where
'the rate of change with time is constant' for each
variable, and the 'terms involved in the invariants, guards,
and assignments are required to be linear'.

A special case of linear hybrid automata are [[timed-automata]].
