Diagnosis of timed patterns for discrete event systems by means of state isolation
Dimitri Lefebvre, Zhiwu Li, Ye Liang
Topics & Concepts
Timed automatonAutomatonComputer scienceIsolation (microbiology)Set (abstract data type)Event (particle physics)State (computer science)Finite-state machineSequence (biology)Theoretical computer scienceAlgorithmProgramming languageGeneticsPhysicsQuantum mechanicsMicrobiologyBiologyPetri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems