Towards Automatic Veri cation of Af ne Hybrid System Stability Jens Oehlerking, Henning Burchardt, Oliver Theel Carl von Ossietzky Universit¨ t Oldenburg a Department of Computer Science D-26111 Oldenburg, Germany {jens.oehlerking | henning.burchardt | oliver.theel}@informatik.uni-oldenburg.de 1. Introduction Stability is a very important property of feedback control systems. For linear feedback control systems, methods for proving or disproving system stability are well known. They basically amount to eigenvalue computations. For more general classes of feedback control systems, however, these methods are not applicable. A very general method is based on Lyapunov theory [7]. It uses a so-called Lyapunov function which can be regarded as generalized energy function of the system under investigation. If energy converges to zero over time then the system state will converge towards an equilibrium state. In the scope of the AVACS project,1 we are concerned with automatically proving hybrid system stability. In a rst phase of the project, we focus on a special subclass of hybrid systems, namely piecewise af ne hybrid systems. Hybrid systems contain both, discrete states and continuoustime dynamics. Piecewise af ne hybrid systems require the continuous-time dynamics to be af ne for each discrete state. A powerful method of
End of preview. The entire article is 4 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/towards-automatic-verification-of-affine-hybrid-system-stability-gm0EvV3bcF
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Towards automatic verification of affine hybrid system stability
Oehlerking, Jens; Burchardt, Henning; Theel, Oliver
Follow ACM SIGBED Review
, Volume 2 (2)
Association for Computing Machinery – Apr 1, 2005
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
