9783030784089 - formal analysis of future energy systems using interactive theorem proving (springerbriefs in applied sciences and technology) von ahmed, asad; hasan, osman; awwad, falah; bastaki, nabil (5 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 163 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,27
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer Nature, 2021
Serie: Buch 163 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 96,13
EUR 11,65 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 90 pages. 9.25x6.10x0.19 inches. In Stock.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 163 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 104,05
EUR 9,09 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2021
Serie: Buch 163 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,54
EUR 60,77 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, o…perational, 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; andStability 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 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.
Weitere BilderSprache: Englisch
Verlag: Springer, 2021
Serie: Buch 163 von 472 - SpringerBriefs in Applied Sciences and Technology
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,85
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving | Asad Ahmed (u. a.) | Taschenbuch | SpringerBriefs in Applied Sciences and Technology | xi | Englisch | 2021 | Springer | EAN 9783030784089 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Hei…delberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
