Verification of Piecewise Linear Switched Systems using Abstractions

• A modeling framework for the class of piecewise linear switched systems is presented. Methods for abstraction using conservative discrete approximations are introduced and model checking is used for verifying specifications. A fairly complex example is treated, the main result being that abstraction is a promising tool for fully automated verification.

Subject headings

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)

Keyword

Control system analysis

Linear systems

Modeling

Time-varying systems

TECHNOLOGY

TEKNIKVETENSKAP

Automatic control

Publication and Content Type

ref (subject category)

kon (subject category)