Metadata only
Date
2012Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Abstract
In this paper, we revisit the problem of approximating viability sets for hybrid systems with nonlinear continuous dynamics and competing inputs. As usual in the literature, an iterative algorithm, based on the alternating application of a continuous and a discrete operator, is employed. Three different cases, based on whether the continuous evolution and the number of discrete transitions are finite or infinite, are considered. A complete characterization of the reach-avoid computation (involved in the continuous time calculation) is provided based entirely on optimal control. Moreover, we show convergence of the iterative process by using a constructive version of Tarski's fixed point theorem, to determine the maximal fixed point of a monotone operator on a complete lattice of closed sets. To illustrate its performance, the viability algorithm is applied to investigate voltage stability for a single machine-load system in case of a line fault. Show more
Publication status
publishedExternal links
Book title
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2012)Journal / series
IFAC Proceedings VolumesVolume
Pages / Article No.
Publisher
ElsevierEvent
Subject
Hybrid systems; Viability; Optimal control; Differential game theory; Lattice theory; Single machine-load voltage dynamicsOrganisational unit
03751 - Lygeros, John / Lygeros, John
Notes
Conference lecture on 6 June 2012.More
Show all metadata
ETH Bibliography
yes
Altmetrics