NeuroSymbolic Robustness Analysis for Discrete Systems
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations
arXiv:2606.03872v1 Announce Type: new Abstract: Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on the plant model, which could deviate from nominal behavior due to modeling errors or faults. Recent notions of discrete robustness model deviations as a set of additional transitions that are added to the plant.