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: 23-Jun-2016, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662492437)
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 process...Loe edasi...
