Abstract: The verification of opacity of discrete event systems (DESs) is subjected to the curse of dimensionality because this issue has been proven to be EXPSPACE-complete. Therefore, how to improve ...
SPADES (Solver for PArallel Discrete Event Simulation) is an open-source parallel discrete event simulation (PDES) package built on the AMReX library. Targeted at solving discrete event systems in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results