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 » LINEAR HYBRID SYSTEMS WITH NONDETERMINISTIC INPUT

Linear hybrid systems with nondeterministic input

wikipage

Visible to the public XSpeed

Submitted by jkenanian on Tue, 05/23/2017 - 8:04pm
  • Validation and Verification
  • Tool
  • Free
  • Linux
  • Linear Hybrid Systems
  • Linear hybrid systems with nondeterministic input
  • Linear Systems
  • Guaranteed to terminate
  • Reachability analysis
wikipage

Visible to the public SL2SX Translator

Submitted by akarns on Mon, 05/08/2017 - 12:00pm
  • Validation and Verification
  • Tool
  • Free
  • Integrated to SpaceEx
  • Linux
  • Mac OS X
  • Windows
  • Hybrid systems with piecewise constant bounds on the derivatives
  • Linear Hybrid Systems
  • Linear hybrid systems with nondeterministic input
  • Linear Systems
  • Description/Modeling Language
  • Guaranteed to terminate
  • Description/modeling language
wikipage

Visible to the public SpaceEx

Submitted by akarns on Mon, 05/08/2017 - 11:02am
  • Validation and Verification
  • Tool
  • Free
  • Own interface
  • Own language
  • Systems encoded in XML files
  • Linux
  • Mac OS X
  • Windows
  • Hybrid systems with piecewise constant bounds on the derivatives
  • Linear hybrid systems with nondeterministic input
  • Flowpipe overapproximations
  • Polyhedral representations and approximations
  • Set clustering methods
  • Support functions
  • Not guaranteed to terminate
  • Reachability analysis
wikipage

Visible to the public d/dt

Submitted by admin on Tue, 02/21/2017 - 5:14pm
  • Validation and Verification
  • Tool
  • Contact the author
  • Own language
  • Linear hybrid systems with nondeterministic input
  • Under approximations of maximal invariant sets
  • Polyhedral representations and approximations
  • Guaranteed to terminate
  • Reachability analysis

Terms of Use  |  ©2023. CPS-VO