Enforcing k-safeness in controlled state machines

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 1999, Pages 1737-1742

  Stremersch, G ^a   Boel, R K ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLABILITY; INVARIANCE; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; REDUNDANCY; SCADA SYSTEMS; SET THEORY;

CONTROLLED STATE MACHINES; MIN PLUS ALGEBRA; UNCONTROLLABLE TRANSITIONS;

CONTROL SYSTEM SYNTHESIS;

EID: 0032607724     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)