Verifying switched-mode computer controlled systems

This paper presents a new approach to verifying properties of computer control systems with periodic sampling when the control programs include both continuous-variable computations and discrete-state transitions (mode switching). We focus on the novel aspects of the approach, which are (1) a formal...

Full description

Saved in:
Bibliographic Details
Published in2002 IEEE International Symposium on Computer Aided Control System Design pp. 98 - 103
Main Authors Kapinski, J., Krogh, B.H.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2002
Subjects
Automata
Automatic control
Automotive engineering
Computational modeling
Computer languages
Control systems
Engines
Mathematical model
Sampling methods
Vehicle dynamics
Online AccessGet full text
ISBN078037388X
9780780373884
DOI10.1109/CACSD.2002.1036936

Cover

More Information
Summary:This paper presents a new approach to verifying properties of computer control systems with periodic sampling when the control programs include both continuous-variable computations and discrete-state transitions (mode switching). We focus on the novel aspects of the approach, which are (1) a formal model for hybrid systems with continuous-time and discrete-time behavior and (2) a method for computing conservative approximations to the sets of reachable states. The formal model and computational routines are incorporated into CheckMate, a MATLAB-based tool for verification of properties of hybrid dynamic systems. This tool is being applied to the verification of embedded controllers in automotive engines.
ISBN:078037388X
9780780373884
DOI:10.1109/CACSD.2002.1036936