Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Verification Tool Library
  • Home
  • README
  • Search for Tools
  • Browse Tool Library
  • Members
  • Tutorials
  • Tutorial - SpaceEx
  • Files
CPS-VO » CPS Tools and Design Studios » Verification Tool Library » PIECEWISE AFFINE HYBRID SYSTEMS

Piecewise affine hybrid systems

wikipage

Visible to the public dReach/dReal

Submitted by jkenanian on Tue, 05/23/2017 - 8:34pm
  • Validation and Verification
  • Tool
  • Free
  • Piecewise affine hybrid systems
  • Nonlinear systems
  • Nonlinear hybrid systems
  • Linear Systems
  • Linear Hybrid Systems
  • Hybrid systems with piecewise constant bounds on the derivatives
  • Guaranteed to terminate
  • Reachability analysis
wikipage

Visible to the public TuLiP

Submitted by akarns on Mon, 05/08/2017 - 11:41am
  • Validation and Verification
  • Tool
  • Free
  • Python
  • Linux
  • Mac OS X
  • Windows
  • Piecewise affine hybrid systems
  • Abstractions
  • Digital Design Synthesis
  • Receding Horizon Planning
  • Guaranteed to terminate
  • Synthesis
wikipage

Visible to the public PHAVer

Submitted by akarns on Mon, 05/08/2017 - 11:04am
  • Validation and Verification
  • Free
  • Own language
  • Linux
  • Mac OS X
  • Windows
  • Piecewise affine hybrid systems
  • Overapproximations of piecewise affine dynamics
  • Guaranteed to terminate
  • Reachability analysis
wikipage

Visible to the public HYSDEL

Submitted by admin on Mon, 02/27/2017 - 3:34pm
  • Validation and Verification
  • Tool
  • Free
  • Matlab
  • Linux
  • Mac OS X
  • Windows
  • Piecewise affine hybrid systems
  • Guaranteed to terminate
  • Description/modeling language

Terms of Use  |  ©2023. CPS-VO