---
id: 20260109155358
title: Hybrid Automata
type: permanent
created: 2026-01-09T20:53:58Z
modified: 2026-01-09T21:08:30Z
tags: []
---

# Hybrid Automata
Hybrid automata are a framework for the formal modeling of
computed systems. Hybrid automata are a generalization of
[[timed automata]], where all states are governed by
differential equations.

## Relevant Sources
[[hybrid-automata-an-algorithmic-approach-to-the-specification-and-verification-of-hybrid-systems]]