Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

✍ Scribed by Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki

Publisher: Springer International Publishing
Year: 2021
Tongue: English
Leaves: 79
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 to a wide range of hardware and software systems

📜 SIMILAR VOLUMES

Formal Analysis of Future Energy Systems

📁 Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

✍ Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki 📂 Library 📅 2021 🏛 Springer International Publishing 🌐 English

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 to a wide range of hardware and software systems

Formalized Probability Theory and Applic

📁 Formalized Probability Theory and Applications Using Theorem Proving

✍ Osman Hasan, Sofiène Tahar 📂 Library 📅 2015 🏛 IGI Global 🌐 English

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the proble

Interactive Theorem Proving

📁 Interactive Theorem Proving

✍ Jeremy Avigad, Assia Mahboubi 📂 Library 📅 2018 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature researc

Logical Analysis of Hybrid Systems: Prov

📁 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

✍ André Platzer (auth.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid system

Logical Analysis of Hybrid Systems: Prov

📁 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

✍ André Platzer (auth.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

EXERGY, ENERGY SYSTEM ANALYSIS AND OPTIM

📁 EXERGY, ENERGY SYSTEM ANALYSIS AND OPTIMIZATION: Exergy and Thermodynamic Analysis

✍ Editor: Christos A. Frangopoulos 📂 Library 📅 2009 🌐 English

Eolss Publishers Co. Ltd., Oxford, United Kingdom Copyright © 2009 EOLSS Publishers/ UNESCO Information on this title: www.eolss.net/eBooks ISBN- 978-1-84826-164-8 (e-Book Adobe Reader) ISBN- 978-1-84826-614-8 (Print (Full Color Edition)) The choice and the presentation of the facts cont