Abstract: This work addresses the verification of current-state opacity with respect to a real-time observation generated from time-dependent systems. The secret behavior of a time-dependent system is ...
Abstract: Space information network (SIN) is a promising networking architecture to significantly broaden the observation area and realize continuous information acquisition for earth observation.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results