Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

SPAR
kr 134

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

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.


Eksklusiv medlemspris 485 kr
Medlemspris 498 kr
Denne pris er kun for medlemmer. Du bliver automatisk medlem når du køber til denne pris. Prøv 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 619 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 134 kr
Se vores konkurrenters priser her
God 15.890 anmeldelser på

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.


Produktdetaljer
Sprog: Engelsk
Sider: 79
ISBN-13: 9783030784089
Indbinding: Paperback
Udgave:
ISBN-10: 3030784088
Kategori: Miljøøkonomi
Udg. Dato: 15 aug 2021
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Forlag: Springer Nature Switzerland AG
Oplagsdato: 15 aug 2021
Forfatter(e) Falah Awwad, Osman Hasan, Asad Q Ahmed, Nabil Bastaki


Kategori Miljøøkonomi


Sprog Engelsk


Indbinding Paperback


Sider 79


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm


Udg. Dato 15 aug 2021


Oplagsdato 15 aug 2021

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 205

kr 279
Normalpris
kr 212
Medlemspris
SPAR
kr 74
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (FYSISK BOG)
Eksklusiv medlemspris kr 200

kr 200
Normalpris
kr 200
Medlemspris
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (INDBUNDET)
Eksklusiv medlemspris kr 184

kr 299
Normalpris
kr 196
Medlemspris
SPAR
kr 115
BOG (INDBUNDET)
Eksklusiv medlemspris kr 105

kr 120
Normalpris
kr 107
Medlemspris
SPAR
kr 15
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 191

kr 269
Normalpris
kr 199
Medlemspris
SPAR
kr 78
BOG (INDBUNDET)
Eksklusiv medlemspris kr 167

kr 250
Normalpris
kr 175
Medlemspris
SPAR
kr 83
BOG (HÆFTET)
Eksklusiv medlemspris kr 200

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (HÆFTET)
Eksklusiv medlemspris kr 182

kr 250
Normalpris
kr 189
Medlemspris
SPAR
kr 68
BOG (HÆFTET)
Eksklusiv medlemspris kr 172

kr 249
Normalpris
kr 180
Medlemspris
SPAR
kr 77
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (HARDBACK)
Eksklusiv medlemspris kr 242

kr 337
Normalpris
kr 252
Medlemspris
SPAR
kr 95
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (HARDBACK)
Eksklusiv medlemspris kr 314

kr 399
Normalpris
kr 323
Medlemspris
SPAR
kr 85
BOG (PAPERBACK)
Eksklusiv medlemspris kr 565

kr 883
Normalpris
kr 597
Medlemspris
SPAR
kr 318
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

kr 563
Normalpris
kr 458
Medlemspris
SPAR
kr 117
BOG (PAPERBACK)
Eksklusiv medlemspris kr 402

kr 450
Normalpris
kr 407
Medlemspris
SPAR
kr 48
BOG (PAPERBACK)
Eksklusiv medlemspris kr 604

kr 788
Normalpris
kr 622
Medlemspris
SPAR
kr 184
BOG (HARDBACK)
Eksklusiv medlemspris kr 919

kr 1.239
Normalpris
kr 951
Medlemspris
SPAR
kr 320
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
BOG (HARDBACK)
Eksklusiv medlemspris kr 709

kr 844
Normalpris
kr 723
Medlemspris
SPAR
kr 135
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 455

kr 518
Normalpris
kr 461
Medlemspris
SPAR
kr 63
BOG (PAPERBACK)
Eksklusiv medlemspris kr 472

kr 540
Normalpris
kr 479
Medlemspris
SPAR
kr 68
BOG (PAPERBACK)
Eksklusiv medlemspris kr 455

kr 518
Normalpris
kr 461
Medlemspris
SPAR
kr 63
BOG (HARDBACK)
Eksklusiv medlemspris kr 630

kr 743
Normalpris
kr 641
Medlemspris
SPAR
kr 113
BOG (PAPERBACK)
Eksklusiv medlemspris kr 367

kr 404
Normalpris
kr 371
Medlemspris
SPAR
kr 37
BOG (PAPERBACK)
Eksklusiv medlemspris kr 367

kr 404
Normalpris
kr 371
Medlemspris
SPAR
kr 37
BOG (PAPERBACK)
Eksklusiv medlemspris kr 376

kr 416
Normalpris
kr 380
Medlemspris
SPAR
kr 40
BOG (PAPERBACK)
Eksklusiv medlemspris kr 332

kr 360
Normalpris
kr 335
Medlemspris
SPAR
kr 28
BOG (PAPERBACK)
Eksklusiv medlemspris kr 341

kr 371
Normalpris
kr 344
Medlemspris
SPAR
kr 30
BOG (PAPERBACK)
Eksklusiv medlemspris kr 323

kr 349
Normalpris
kr 326
Medlemspris
SPAR
kr 26
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134