HYST

MaRDI QIDQ31959swMATHFDO

Official website http://verivital.com/hyst/

Described by source

• HYST: a source transformation and translation tool for hybrid automaton models

Cited in

(20)

• Order-reduction abstractions for safety verification of high-dimensional linear systems
• Reachability analysis for high-index linear differential algebraic equations
• Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
• BACH
• HyDI
• TopDeg
• SynchAADL2Maude
• Time-triggered conversion of guards for reachability analysis of hybrid automata
• Charon
• C2e2
• HyCreate
• HyComp
• HyLAA
• Model Predictive Control Toolbox
• XSat
• iSAT
• VERIFAI
• Rigorous simulation-based analysis of linear hybrid systems
• Scalable static hybridization methods for analysis of nonlinear systems
• Verisig

This page was built for software: HYST