| 書目名稱 | Formal Analysis of Future Energy Systems Using Interactive Theorem Proving | | 編輯 | Asad Ahmed,Osman Hasan,Nabil Bastaki | | 視頻video | http://file.papertrans.cn/346/345634/345634.mp4 | | 概述 | Addresses the formal verification of smart grids using interactive theorem proving.Assesses energy systems cost-effectiveness, efficiency, and quality-of-service.Offers generalized theories applicable | | 叢書名稱 | SpringerBriefs in Applied Sciences and Technology | | 圖書封面 |  | | 描述 | .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 ofthe 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 a | | 出版日期 | Book 2022 | | 關(guān)鍵詞 | Formal Methods; Interactive Theorem Proving; Renewable Energy Sources; Algorithm Analysis; Microeconomic | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-78409-6 | | isbn_softcover | 978-3-030-78408-9 | | isbn_ebook | 978-3-030-78409-6Series ISSN 2191-530X Series E-ISSN 2191-5318 | | issn_series | 2191-530X | | copyright | The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 22:31
發(fā)表于 2025-3-21 17:46:47
