HyLAA

MaRDI QIDQ32635swMATHFDO

Official website https://github.com/stanleybak/hylaa

Source code repository https://github.com/stanleybak/hylaa

Cited in

(18)

• HySAT
• Time-triggered conversion of guards for reachability analysis of hybrid automata
• Lagrangian approximations for stochastic reachability of a target tube
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• Extracting counterexamples induced by safety violation in linear hybrid systems
• HARE
• HybridSal
• BACH
• SynchAADL2Maude
• A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
• STRONG
• HYST
• C2e2
• XSpeed
• HySon
• Flow*
• CORA
• Multi-agent safety verification using symmetry transformations

This page was built for software: HyLAA