東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal analysis of future energy sys...

Ahmed, Asad.

Linked to FindBook

Google Book

Amazon

博客來

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 proving/ by Asad Ahmed ... [et al.].
other author:	Ahmed, Asad.
Published:	Cham :Springer International Publishing : : 2022.,
Description:	xi, 79 p. :ill., digital ;24 cm.
[NT 15003449]:	Introduction -- Interactive Theorem Proving -- Formalization of Stability Theory -- Formalization of Asymptotic Notations -- Formalization of Cost and Utility in Microeconomics -- Conclusions.
Contained By:	Springer Nature eBook
Subject:	Smart power grids - Mathematical models. -
Online resource:	https://doi.org/10.1007/978-3-030-78409-6
ISBN:	9783030784096

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

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

3227004
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 2295745
003 DE-He213
005 20210813213717.0
006 m d
007 cr nn 008maaau
008 230324s2022 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 3227004
650 0 $a Smart power grids $x Computer simulation. $3 3295975
650 0 $a Automatic theorem proving. $3 655280
650 0 $a Formal methods (Computer science) $3 882407
650 1 4 $a Power Electronics, Electrical Machines and Networks. $3 1001796
650 2 4 $a Cyber-physical systems, IoT. $3 3386699
650 2 4 $a Natural Resource and Energy Economics. $3 3135504
700 1 $a Ahmed, Asad. $3 3589853
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in applied sciences and technology. $3 1565541
856 4 0 $u https://doi.org/10.1007/978-3-030-78409-6
950 $a Energy (SpringerNature-40367)