Verifying average dwell time of hybrid systems
Abstract
Average dwell time (ADT) properties characterize the rate at which a hybrid system performs mode switches. In this article, we present a set of techniques for verifying ADT properties. The stability of a hybrid system A can be verified by combining these techniques with standard methods for checking stability of the individual modes of A.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Dec 01, 2008
- Source ID
- 10.1145/1457246.1457249
Entities
People
- Daniel Liberzon
- Nancy Lynch
- Sayan Mitra
Organizations
- Air Force Office of Scientific Research
- Defense Advanced Research Projects Agency
- Division of Computer and Network Systems
- Massachusetts Institute of Technology
- University of Illinois Urbana–Champaign