This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Cope...Loe edasi...
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Cope...Loe edasi...
(Ilmumisaeg: 15-Jun-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662492451)
This book provides a brief introduction to the theory of finitedimensional differential inclusions, and deals in depth with control of threekinds of differential inclusion systems. The authors introduce the algebraicdecomposition of convex processes,...Loe edasi...
