Please do not cross-post, i.e. ask the same question in more than one forum, unless it's suggested that you have posted in the wrong place, or unless you receive total silence in one forum. In the ...

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.