Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving - Asad Ahmed

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.