GitHub - GASR-UDESC/SafeControl: This Python software can be used to calculate the Safe Controllability by Diagnosis and Prognosis of an given Pland and its Diagnoser. These automatas have to be in xml format exported by Nadzoru.

GASR-UDESC / SafeControl Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

This Python software can be used to calculate the Safe Controllability by Diagnosis and Prognosis of an given Pland and its Diagnoser. These automatas have to be in xml format exported by Nadzoru.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Algorithm.py		Algorithm.py
AutomataFunctions.py		AutomataFunctions.py
AutomataParser.py		AutomataParser.py
BuildFCU.py		BuildFCU.py
ComputeE.py		ComputeE.py
ComputeFPs.py		ComputeFPs.py
DefineStrings.py		DefineStrings.py
DiagnoserFunctions.py		DiagnoserFunctions.py
DiagnoserParser.py		DiagnoserParser.py
FB_s.py		FB_s.py
FC_s.py		FC_s.py
FP_s.py		FP_s.py
FU.py		FU.py
FU_s.py		FU_s.py
G_12.xml		G_12.xml
G_14.xml		G_14.xml
G_16.xml		G_16.xml
G_17.xml		G_17.xml
G_6.xml		G_6.xml
G_8.xml		G_8.xml
G_d6.xml		G_d6.xml
G_sd12.xml		G_sd12.xml
G_sd14.xml		G_sd14.xml
G_sd16.xml		G_sd16.xml
G_sd17.xml		G_sd17.xml
G_sd8.xml		G_sd8.xml
PathManager.py		PathManager.py
StringsFunctions.py		StringsFunctions.py

About

This Python software can be used to calculate the Safe Controllability by Diagnosis and Prognosis of an given Pland and its Diagnoser. These automatas have to be in xml format exported by Nadzoru.