Formal verification of an automotive engine controller in cutoff mode

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 1998, Pages 4271-4276

  Villa, Tiziano ^a   Wong Toi, Howard ^a   Balluchi, Andrea ^a   Preussig, Jorg ^a   Sangiovanni Vincentelli, Alberto L ^a   Watanabe, Yosinori ^a  

^a PARADES   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMOBILE ENGINES; CONTROL SYSTEM ANALYSIS; CONVERGENCE OF NUMERICAL METHODS; FORMAL LOGIC; MATHEMATICAL MODELS;

HYBRID AUTOMATA;

NONLINEAR CONTROL SYSTEMS;

EID: 0032279514     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (7)