Preprint
Oct 2026
Structural Analysis of Hybrid-Trace Nets: An Optimization Approach
Fault and error detection is crucial for ensuring the correctness of safety-critical systems. Safety verification often addresses reachability of bad system states, where exhaustive state inspection may be intractable due to the large state spaces of complex systems. We propose a reachability relaxation for hybrid trac...
L. Nguyen, C. Bonial, John G. Rogers et al.
· 0 citations