A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems
Kuize Zhang
Topics & Concepts
Nondeterministic algorithmAutomatonUnobservableEvent (particle physics)Computer scienceInferenceFinite-state machineTheoretical computer scienceState (computer science)AlgorithmPredictabilityFeature (linguistics)Nondeterministic finite automatonComposition (language)Timed automatonMathematicsAutomata theoryArtificial intelligencePhilosophyStatisticsPhysicsQuantum mechanicsLinguisticsEconometricsPetri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance