Semantic tableau for control of PLTL formulae

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 1996, Pages 2243-2248

  Deshpande, Akash ^a   Varaiya, Pravin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS;

PROPOSITIONAL LINEAR TEMPORAL LOGIC (PLTL) FORMALISM; SEMANTIC TABLEAU;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 0030402625     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Review

References (8)