Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio
Topics & Concepts
AutomatonEvent (particle physics)Computer scienceFinite-state machineFault (geology)State (computer science)Discrete event simulationTheoretical computer scienceAlgorithmDistributed computingSimulationPhysicsQuantum mechanicsGeologySeismologyPetri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems