Application of visual specifications for verification of distributed controllers

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2001, Pages 646-651

  Vyatkin, Valeriy ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Discrete event modeling; IEC 61499; Timing diagrams; Verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS;

CONTROL ENGINEERING; DISCRETE EVENT MODELING; FINITE STATE MODELS; TIMING DIAGRAMS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0035724908     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Automatic verification of finite state concurrent systems using temporal logic
2. Timing diagrams: Formalization and algorithmic verification
3. Model checking of synchronous timing diagrams
4. System verification using user-friendly interfaces
5. Net condition/event systems with multiple condition outputs
6. Symmetries of signal-net systems
7. Supervisory control of a class of discrete event processes
8. On condition/event systems with discrete state realizations
9. Software environment for automated verification of distributed industrial controllers following
10. Practice of modeling and verification of distributed controllers using signal/net systems
11. Extended computation tree logic