¡Todavía hay mucho por celebrar! Hasta 50% OFF + 3 cuotas sin interés  Ver más

Enviar a
C.A.B.A., Ciudad Autónoma de Buenos Aires
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (en Inglés)
Formato
Libro Físico
Autor
Editorial
Idioma
Inglés
N° páginas
79
Encuadernación
Tapa Blanda
Dimensiones
23.4x15.6x0.5 cm
Peso
0.14 kg.
ISBN13
9783030784089
Categorías

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (en Inglés)

Osman Hasan (Autor) · Asad Ahmed (Autor) · Falah Awwad (Autor) · Springer · Tapa Blanda

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (en Inglés) - Ahmed, Asad ; Hasan, Osman ; Awwad, Falah

Libro Nuevo Importado
Envío: 14 a 20 días háb.
$ 234.455$ 117.228
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 117.228
Llega entre el 17 Sep y el 25 Sep a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (en Inglés)"

This book describes an accurate analysis technique for energy systems based on formal methods--computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for: Energy generation and distribution;Asymptotic bounds for online scheduling algorithms for plug-in electric vehicles; andStability ofthe power converters for wind turbines. The proposed approach results in mechanized proofs for the specification, validation, and verification of corresponding smart grid problems. The formal mathematical theories developed can be applied to the formal analysis of several other hardware and software systems as well, making this book of interest to researchers and practicing engineers in a variety of power electronic fields.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes