Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89, Band 89) [Hardcover] Belta

Belta

ISBN 10: 3319507621 ISBN 13: 9783319507620

Editorial: Springer, 2017

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por SpringBooks, Berlin, Alemania

Vendedor de AbeBooks desde 1 de julio de 2021

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Como Nuevo

Precio: EUR 97,33 Convertir moneda

EUR 11,90 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

like new.

N� de ref. del art�culo CE-2307C-TEPPICHMILI-02-1000XS

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89, Band 89) [Hardcover] Belta

Editor

Springer

Fecha de publicaci�n

2017

Idioma

Ingl�s

ISBN 10

3319507621

ISBN 13

9783319507620

Encuadernaci�n

Hardcover

Edici�n

1. Auflage

Estado

As New

Cat�logos de vendedores

Acerca de

Sinopsis

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.

The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

De la contraportada

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

used specialist books in very good condition

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

SpringBooks
Germany

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 4 a 6 d�as h�biles	De 4 a 6 d�as h�biles
Primer art�culo	EUR 11.90	EUR 11.90

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor