Books > Earth & environment > The environment > Environmental economics
|
Buy Now
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Paperback, 1st ed. 2022)
Loot Price: R1,876
Discovery Miles 18 760
|
|
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Paperback, 1st ed. 2022)
Series: SpringerBriefs in Applied Sciences and Technology
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.