SFr. 89.00
€ 96.12
BTC 0.0015
LTC 1.177
ETH 0.0303


bestellen

Artikel-Nr. 32866404


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:



Autor(en): 
  • Asad Ahmed
  • Osman Hasan
  • Nabil Bastaki
  • Falah Awwad
  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!


    Übersicht

    Auf mobile öffnen
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Veröffentlichung:  August 2021  
    Genre:  Naturwissensch., Medizin, Technik 
    ISBN:  9783030784089 
    EAN-Code: 
    9783030784089 
    Verlag:  Springer International Publishing 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 235 mm / B 155 mm / D 6 mm 
    Gewicht:  154 gr 
    Seiten:  92 
    Zus. Info:  Paperback 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    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 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.

      



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2024
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2024