CUED Publications database

On the existence of Zeno behavior in hybrid systems with non-isolated zeno equilibria

Lamperski, A and Ames, AD (2008) On the existence of Zeno behavior in hybrid systems with non-isolated zeno equilibria. In: UNSPECIFIED pp. 2776-2781..

Full text not available from this repository.

Abstract

This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems. The proof-certificate sufficient conditions are then obtained through a collection of functions that effectively "reduce" a general hybrid system to a first quadrant interval hybrid system. This paper concludes with an application of these ideas to Lagrangian hybrid systems, resulting in easily verifiable sufficient conditions for Zeno behavior. © 2008 IEEE.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Subjects: UNSPECIFIED
Divisions: Div F > Computational and Biological Learning
Depositing User: Cron Job
Date Deposited: 07 Mar 2014 12:05
Last Modified: 08 Dec 2014 02:32
DOI: 10.1109/CDC.2008.4739100