State-based fault diagnosis of discrete-event systems with partially observable outputs
Deguang Wang, Xi Wang, Zhiwu Li
Topics & Concepts
ObservableState (computer science)EstimatorFault (geology)Control theory (sociology)Event (particle physics)Computer scienceState estimatorMoment (physics)MathematicsSequence (biology)Controller (irrigation)AlgorithmControl (management)StatisticsArtificial intelligenceSeismologyAgronomyClassical mechanicsPhysicsQuantum mechanicsBiologyGeologyGeneticsPetri Nets in System ModelingFault Detection and Control SystemsFormal Methods in Verification