Abstract: Considering the influence of subsystem state interconnection in large-scale systems, the existing integrated design methods of data-driven fault detection (FD) and fault-tolerant control ...
Abstract: This paper proposes an automatic framework for controlled data flow graph (CDFG) generation from verilog designs, where the generated CDFGs can be applied to visualization, formal ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results