國立虎尾科技大學 |

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving/ by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
作者:	Ahmed, Asad.
其他作者:	Bastaki, Nabil.
面頁冊數:	XI, 79 p. 18 illus., 7 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Natural Resource and Energy Economics. -
電子資源:	https://doi.org/10.1007/978-3-030-78409-6
ISBN:	9783030784096

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Ahmed, Asad.

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving[electronic resource] /by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki. - 1st ed. 2022. - XI, 79 p. 18 illus., 7 illus. in color.online resource. - 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

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

1113585
Natural Resource and Energy Economics.

LC Class. No.: TK3001-3521

Dewey Class. No.: 321.319

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
LDR:02967nam a22003975i 4500 001 1088918
003 DE-He213
005 20220117095116.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783030784096 $9 978-3-030-78409-6
024 7 $a 10.1007/978-3-030-78409-6 $2 doi
035 $a 978-3-030-78409-6
050 4 $a TK3001-3521
072 7 $a THRD $2 bicssc
072 7 $a TEC046000 $2 bisacsh
072 7 $a THY $2 thema
082 0 4 $a 321.319 $2 23
100 1 $a Ahmed, Asad. $e author. $0 (orcid)0000-0001-8276-0975 $1 https://orcid.org/0000-0001-8276-0975 $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1396144
245 1 0 $a Formal Analysis of Future Energy Systems Using Interactive Theorem Proving $h [electronic resource] / $c by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XI, 79 p. 18 illus., 7 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 2 4 $a Natural Resource and Energy Economics. $3 1113585
650 2 4 $a Cyber-Physical Systems. $3 1387591
650 2 4 $a Power Electronics. $3 1388857
650 1 4 $a Energy Grids and Networks. $3 1387642
650 0 $a Power resources. $3 554735
650 0 $a Cooperating objects (Computer systems). $3 1387590
650 0 $a Power electronics. $3 561011
650 0 $a Electric power distribution. $3 572880
700 1 $a Bastaki, Nabil. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1396146
700 1 $a Awwad, Falah. $e author. $1 https://orcid.org/0000-0001-6154-2143 $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1396145
700 1 $a Hasan, Osman. $e editor. $1 https://orcid.org/0000-0003-2562-2669 $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1320871
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030784089
776 0 8 $i Printed edition: $z 9783030784102
830 0 $a SpringerBriefs in Applied Sciences and Technology, $x 2191-530X $3 1253575
856 4 0 $u https://doi.org/10.1007/978-3-030-78409-6
912 $a ZDB-2-ENE
912 $a ZDB-2-SXEN
950 $a Energy (SpringerNature-40367)
950 $a Energy (R0) (SpringerNature-43717)