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

Last commit date

15 June 2021

Related papers

Last publication date

13 July 2017

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.