Publication | Closed Access
More on (2,2)-separating systems
18
Citations
8
References
2002
Year
Logical AutomatonEngineeringAutomata SynthesisAutomated ReasoningDistance ConsiderationsMechanical VerificationVerificationFormal MethodsOwnership ClaimsSystems EngineeringAutomaton OperationFormal TechniqueComplex Dynamic SystemComputer ScienceRealization TheoryAutomaton NetworkFormal VerificationSystem Theory
The theory of separating systems has been applied in different areas of science and technology such as automata synthesis, technical diagnosis, and authenticating ownership claims. Constructions of (2,2)-separating systems derived from error-correcting codes are given, together with bounds on their parameters based on distance considerations.
| Year | Citations | |
|---|---|---|
Page 1
Page 1