Abstract: In active cyberattacks, an intruder can alter the nominal system behavior to cause damage to devices and/or users. Although many works in the literature propose techniques to mitigate active ...

Abstract: This research solves the problem of diagnosability enforcement in discrete event systems modeled by labeled Petri nets. Since fault diagnosis relies on system observations, the detection of ...

This repository offers the official code of the paper "A Style is Worth One Code: Unlocking Code-to-Style Image Generation with Discrete Style Space". We provide both an Open-Source Version (based on ...

(a) SA-Radar (i.e., Ctrl-RS) enables controllable and realistic radar simulation by conditioning on customizable radar attributes. It supports flexible scene editing such as attribute modification, ...