國立高雄大學圖資館 |

Language: English

Back

Formal analysis of future energy systems using interactive theorem proving

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal analysis of future energy systems using interactive theorem provingby Asad Ahmed ... [et al.].
other author:	Ahmed, Asad.
Published:	Cham :Springer International Publishing :2022.
Description:	xi, 79 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Smart power gridsMathematical models.
Online resource:	https://doi.org/10.1007/978-3-030-78409-6
ISBN:	9783030784096$q(electronic bk.)

Formal analysis of future energy systems using interactive theorem proving
Formal analysis of future energy systems using interactive theorem proving[electronic resource] /by Asad Ahmed ... [et al.]. - Cham :Springer International Publishing :2022. - xi, 79 p. :ill., digital ;24 cm. - SpringerBriefs in applied sciences and technology,2191-5318. - SpringerBriefs in applied sciences and technology..

Introduction -- Interactive Theorem Proving -- Formalization of Stability Theory -- Formalization of Asymptotic Notations -- Formalization of Cost and Utility in Microeconomics -- Conclusions.

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.

ISBN: 9783030784096$q(electronic bk.)

Standard No.: 10.1007/978-3-030-78409-6doiSubjects--Topical Terms:

775681
Smart power grids
--Mathematical models.

LC Class. No.: TK3105

Dewey Class. No.: 621.31015118

Formal analysis of future energy systems using interactive theorem proving
LDR:02616nmm a2200337 a 4500 001 617691
003 DE-He213
005 20210813213717.0
006 m d
007 cr nn 008maaau
008 221025s2022 sz s 0 eng d
020 $a 9783030784096$q(electronic bk.)
020 $a 9783030784089$q(paper)
024 7 $a 10.1007/978-3-030-78409-6 $2 doi
035 $a 978-3-030-78409-6
040 $a GP $c GP
041 0 $a eng
050 4 $a TK3105
072 7 $a THR $2 bicssc
072 7 $a TEC046000 $2 bisacsh
072 7 $a THR $2 thema
082 0 4 $a 621.31015118 $2 23
090 $a TK3105 $b .F723 2022
245 0 0 $a Formal analysis of future energy systems using interactive theorem proving $h [electronic resource] / $c by Asad Ahmed ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xi, 79 p. : $b ill., digital ; $c 24 cm.
490 1 $a SpringerBriefs in applied sciences and technology, $x 2191-5318
505 0 $a Introduction -- Interactive Theorem Proving -- Formalization of Stability Theory -- Formalization of Asymptotic Notations -- Formalization of Cost and Utility in Microeconomics -- Conclusions.
520 $a 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.
650 0 $a Smart power grids $x Mathematical models. $3 775681
650 0 $a Smart power grids $x Computer simulation. $3 799950
650 0 $a Automatic theorem proving. $3 206222
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Power Electronics, Electrical Machines and Networks. $3 338660
650 2 4 $a Cyber-physical systems, IoT. $3 836359
650 2 4 $a Natural Resource and Energy Economics. $3 760007
700 1 $a Ahmed, Asad. $3 917281
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in applied sciences and technology. $3 557662
856 4 0 $u https://doi.org/10.1007/978-3-030-78409-6
950 $a Energy (SpringerNature-40367)