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.

Ämnesord

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

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

Nyckelord

Control system analysis

Linear systems

Modeling

Time-varying systems

TECHNOLOGY

TEKNIKVETENSKAP

Automatic control

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)