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
» NONLINEAR NONDETERMINISTIC HYBRID SYSTEMS
Nonlinear Nondeterministic Hybrid Systems
wikipage
CORA
Submitted by jkenanian on Tue, 06/27/2017 - 4:20pm
Validation and Verification
Tool
Matlab
Linux
Mac OS X
Windows
Linear Hybrid Systems
Linear Systems
Nondeterministic continuous and hybrid systems
Nonlinear hybrid systems
Nonlinear Nondeterministic Hybrid Systems
Nonlinear perturbed control systems
Nonlinear systems
Reachability analysis
wikipage
HyCreate
Submitted by akarns on Mon, 05/08/2017 - 2:06pm
Validation and Verification
Tool
Java
Own interface
Linux
Mac OS X
Windows
Nonlinear Nondeterministic Hybrid Systems
MIxed Face Lifting
Regridding Techniques
Not guaranteed to terminate
Reachability analysis
