Téléchargez le livre : Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

de

, , ,

Éditeur :

Springer


Collection :

SpringerBriefs in Applied Sciences and Technology

Paru le : 2021-08-13

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
68,56 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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.
Pages
79 pages
Collection
SpringerBriefs in Applied Sciences and Technology
Parution
2021-08-13
Marque
Springer
EAN papier
9783030784089
EAN PDF
9783030784096
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
7
Taille du fichier
2202 Ko
Prix
68,56 €
EAN EPUB
9783030784096
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
7
Taille du fichier
6052 Ko
Prix
68,56 €

Suggestions personnalisées