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
» UNDER APPROXIMATIONS OF MAXIMAL INVARIANT SETS
Under approximations of maximal invariant sets
wikipage
d/dt
Submitted by admin on Tue, 02/21/2017 - 4: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
