Formal Methods for Discrete-Time Dynamical Systems

El libro presenta un marco teórico sólido sobre la modelización y verificación de sistemas discretos, destacando algoritmos de síntesis automática y su aplicación en controladores robustos.

Marca: Calin Belta
MPN: 27993798
ISBN: 3319507621
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección STUDIES IN SYSTEMS, DECISION AND CONTROL
Edición Marzo de 2017
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319507620
Páginas 267