HYST

swMATH20137MaRDI QIDQ31959FDOQ31959

Author name not available (Why is that?)

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

Described by source

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

Cited In (20)

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

This page was built for software: HYST