Publication | Closed Access

Current-state opacity enforcement in discrete event systems under incomparable observations

EngineeringDiscrete Event SystemState ObserverUncertainty QuantificationCurrent-state Opacity EnforcementFormal MethodsSystems EngineeringObservabilityComputer ScienceAsynchronous SystemsSignal ProcessingControl Protocol