Formal analysis of future energy systems using interactive theorem proving / Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
2022
TK3105
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal analysis of future energy systems using interactive theorem proving / Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
Author
Ahmed, Asad, author
ISBN
9783030784096 (electronic bk.)
3030784096 (electronic bk.)
3030784088
9783030784089
3030784096 (electronic bk.)
3030784088
9783030784089
Publication Details
Cham, Switzerland : Springer, ©2022.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-030-78409-6 doi
Call Number
TK3105
Dewey Decimal Classification
621.3101/5118
Summary
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; and Stability of the 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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 19, 2021).
Series
SpringerBriefs in applied sciences and technology, 2191-5318
Available in Other Form
Formal analysis of future energy systems using interactive theorem proving.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Introduction
Interactive Theorem Proving
Formalization of Stability Theory
Formalization of Asymptotic Notations
Formalization of Cost and Utility in Microeconomics
Conclusions.
Interactive Theorem Proving
Formalization of Stability Theory
Formalization of Asymptotic Notations
Formalization of Cost and Utility in Microeconomics
Conclusions.