Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
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
» HYBRID SYSTEMS WITH PIECEWISE CONSTANT BOUNDS ON THE DERIVATIVES
Hybrid systems with piecewise constant bounds on the derivatives
wikipage
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
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
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
