lu-1993

Pinned Repositories

Diagnosability
We show how to encode bounded diagnosability problem for finite automata in smt with the files available here
Language:Python10
Designing-DIA-via-delay-blocks
This program for Designing Diagnosable Discrete EventSystems by using Delay Blocks(journal)
Language:Python00
diaForTA
Language:Python00
HELULU
00
manifestability
code for manifestability checking
Language:Python00
RECAR
RECAR algorithm
00

lu-1993's Repositories

lu-1993/manifestability
code for manifestability checking
Language:Python
lu-1993/diaForTA
Language:Python
lu-1993/RECAR
RECAR algorithm
lu-1993/Designing-DIA-via-delay-blocks
This program for Designing Diagnosable Discrete EventSystems by using Delay Blocks(journal)
Language:Python
lu-1993/Diagnosability
We show how to encode bounded diagnosability problem for finite automata in smt with the files available here
Language:Python1
lu-1993/HELULU