Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)

Belta

ISBN 10: 3319507621 ISBN 13: 9783319507620

Editorial: Springer, 2017

Idioma: Ingl�s

Impresi�n bajo demanda

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Majestic Books, Hounslow, Reino Unido

Vendedor de AbeBooks desde 19 de enero de 2007

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 255,94 Convertir moneda

EUR 10,13 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Print on Demand pp. 284.

N� de ref. del art�culo 371821338

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)
Editor: Springer
Fecha de publicaci�n: 2017
Idioma: Ingl�s
ISBN 10: 3319507621
ISBN 13: 9783319507620
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: New

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

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.

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

Descripci�n de la librer�a

We specialise in General Interest Books from South Asian countries.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Returns accepted if you are not satisfied with the Service or Book.

Condiciones de env�o

Best packaging and fast delivery

M�todos de pago

A�adir una petici�n