Verifying average dwell time by solving optimization problems

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A switched system is a hybrid system whose discrete mechanisms are abstracted away in terms of an exogenous switching signal which brings about the mode switches. For switched systems, the Average Dwell time (ADT) property defines restricted classes of switching signals which can be used for proving stability. In this paper, we develop optimization-based methods for automatically verifying ADT properties of hybrid systems. This enables us to prove stability of hybrid systems, provided the individual modes of the system are stable. For two special classes of hybrid systems, we show that the resulting optimization problems can indeed be solved efficiently using standard mathematical programming techniques. We also present simulation relation-based proof methods for establishing equivalence of hybrid systems with respect to ADT. The proposed methods are applied to verify ADT properties of a linear hysteresis switch and a nondeterministic thermostat.

Original languageEnglish (US)
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control - 9th International Workshop, HSCC 2006, Proceedings
Number of pages15
StatePublished - 2006
Event9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006 - Santa Barbara, CA, United States
Duration: Mar 29 2006Mar 31 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3927 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006
Country/TerritoryUnited States
CitySanta Barbara, CA

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Verifying average dwell time by solving optimization problems'. Together they form a unique fingerprint.

Cite this