Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties
2000 (English)In: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, Springer Berlin/Heidelberg, 2000, 396-406 p.Conference paper (Refereed)
A special class of hybrid systems, that occurs in many applications, are the piecewise linear systems. Due to their nonlinearity, they may often be difficult to analyse. Therefore, different approximating methods have been developed for analysis, verification and control design. This paper considers one such method, and gives a method for investigating how sensitive it is to changes in the dynamics of the underlying linear subsystems. This method can be used either for robustness analysis or for control design.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2000. 396-406 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 1790
Piecewise linear systems, Verification, Robustness
Engineering and Technology Control Engineering
IdentifiersURN: urn:nbn:se:liu:diva-91129DOI: 10.1007/3-540-46430-1_33ISBN: 978-3-540-67259-3 (print)ISBN: 978-3-540-46430-3 (online)OAI: oai:DiVA.org:liu-91129DiVA: diva2:618403
Third International Workshop on Hybrid Systems: Computation and Control, Pittsburgh, PA, USA, 23–25 March, 2000