PV1 HyLAA: Hybrid Linear Automata Analyzercomputes a set of safe reachable states for a given hybrid automaton

A tool for computing simulation-equivalent reachability for linear systems

Application domain/field

Type of tool

Reachability detector

Expected input

Format:

Defined in Python

Expected output

Internals

Uses GLPK

Comments

License: GPL v3
Automaton

Links

Related papers

Last publication date

13 July 2017

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.