issues
search
TUMcps
/
CORA
Toolbox for Reachability Analysis
GNU General Public License v3.0
108
stars
35
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Reachability of two-wheeled robots
#62
DwZhang01
opened
7 hours ago
0
"runTestSuite" problem
#61
ASCShi
closed
2 weeks ago
22
Invalid Example Files
#60
Gu18-cps
closed
2 weeks ago
1
Bug contains - degenerate zonotope
#59
Ludox73
closed
1 month ago
1
Invariant is not able to stop the reachable set!
#58
ArsalMu
opened
1 month ago
12
Question about 'dim'
#57
DwZhang01
closed
1 month ago
4
powerSystem2cora not working
#56
tlogemann
closed
3 months ago
2
Potential use of wrong matrix in zonotope under-approximation method
#55
ddlmcp
closed
4 months ago
1
Array indices must be positive integers or logical values,
#54
akaph2p
closed
5 months ago
6
Error in Refinement with polynomial relaxations of order > 2 for ReLU NNs
#53
phK3
closed
6 months ago
2
function Removed in MATLAB Package
#52
XiaoLiSean
closed
7 months ago
1
The analysis is aborted because the time step size converges to 0
#51
akaph2p
closed
7 months ago
9
Computing reachable sets for one dimensional linear dynamical systems
#50
GuoZhongYi-Student
closed
7 months ago
4
Array indices error in hybrid automaton reach
#49
akaph2p
closed
9 months ago
3
Extracting data from reachSet
#48
akaph2p
closed
9 months ago
6
Linearization error available ?
#47
gpensta
closed
10 months ago
2
Real-valued symbolic variables
#46
mairbasti
closed
9 months ago
1
Non-linear hybrid automaton - error in abstractionError_adaptive function
#45
akaph2p
closed
1 year ago
3
If-then logic in hybrid systems
#44
akaph2p
closed
1 year ago
1
Nonlinear system adaptive-linreach tuning error
#43
akaph2p
closed
1 year ago
4
Error while parsing vnnlib specification
#42
phK3
closed
1 year ago
1
Error Zonotope/evaluation neuralNetworkOld
#41
phK3
closed
1 year ago
2
Error Polynomial Zonotope for ONNX networks
#40
phK3
closed
1 year ago
1
Issues Auxilary function removeIndepGens(cPZ) in minkdiff for calss conPolyZono
#39
GillesDel
closed
1 year ago
1
Using multiple inputs for `nonlinParamSys` causes crash
#38
dilr
closed
1 year ago
2
Inner-approximation for `linParamSys`
#37
dfcaporale
closed
1 year ago
1
`reachInner` algorithm example: problem with the `mptPolytope` contructor
#36
dfcaporale
closed
2 years ago
2
Update find.m
#35
vivid04
closed
2 years ago
1
Error in intervalMultiplication while using reach function for linear system
#34
GillesDel
closed
2 years ago
1
Check for incorrect argument data type or missing argument in call to function 'config_linearSys_reach'.
#33
jinaynitinpatel
closed
1 year ago
1
Typo in reachset/find.m
#32
mldiego
closed
3 years ago
2
@interval/gridPoints.m giving error
#31
adamdai
closed
3 years ago
1
add 'real' assumption to symbolic variable declaration in symVariable.m
#30
Cfather
closed
1 year ago
5
Error in Jacobian evaluation for non-linear parameter system
#29
ChitraDangwal
closed
6 months ago
2
parametricDynamicFIile not present
#28
ChitraDangwal
closed
3 years ago
1
@interval/isIntersecting
#27
haloinca
closed
3 years ago
1
in(zonotope,point) not working correctly
#26
skousik
closed
3 years ago
2
The deleteAligned function sometimes doesn't work well in 4 -dimensional zonotope
#25
lee-ck
closed
3 years ago
0
reduce for polyZonotope
#24
Cfather
closed
3 years ago
1
split function in conflict with matlab build-in function, causing profiler viewer to be unable to run
#23
shaoyifei96
closed
3 years ago
1
Issue in checking interval specification
#22
SunandanAdhikary
closed
3 years ago
2
Can not plot linear discrete systems over time.
#21
SunandanAdhikary
closed
3 years ago
1
polytope method seems to have cyclic definition
#20
SergeiSa
closed
3 years ago
2
Reachable set for output in cont.Dynamics missing ?
#19
AnuragCoSES
closed
3 years ago
3
Update and.m
#18
fawadkhanf3
closed
2 years ago
1
Issue in Zonotope volume approximation
#17
ckurtz22
closed
3 years ago
2
Different results in Pontryagin difference with CORA 2018 and 2020
#16
ddlmcp
closed
3 years ago
4
select in nonlinDASys
#15
Cfather
closed
3 years ago
1
Bug in mergeTransitionSets concerning returned variable
#14
maxPerschl
closed
3 years ago
3
Bug in linearSysDT concerning Output
#13
stefanbliu
closed
3 years ago
1
Next