Controller synthesis for the `production cell' case study

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 1998, Pages 24-33

  Melcher, Helmut ^a   Winkelmann, Klaus ^a  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; INTERFACES (COMPUTER); PROBLEM SOLVING; PROGRAM COMPILERS;

REACTIVE CONTROL PROBLEMS;

CONTROL SYSTEM SYNTHESIS;

EID: 0031648949     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/298595.298601     Document Type: Conference Paper

References (16)