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 » NONLINEAR HYBRID SYSTEMS WITH BOUNDED TIME-VARYING UNCERTAINTIES

Nonlinear hybrid systems with bounded time-varying uncertainties

wikipage

Visible to the public FLOW*

Submitted by admin on Mon, 02/27/2017 - 3:32pm
  • Validation and Verification
  • Tool
  • Free
  • Own language
  • Linux
  • Mac OS X
  • Windows
  • Linear Hybrid Systems
  • Linear Systems
  • Nonlinear hybrid systems
  • Nonlinear hybrid systems with bounded time-varying uncertainties
  • Nonlinear systems
  • Flowpipe overapproximations
  • Set clustering methods
  • Taylor models
  • Guaranteed to terminate
  • Reachability analysis

Terms of Use  |  ©2023. CPS-VO