Conclusions

Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki

doi:10.1007/978-3-030-78409-6_6

Conclusions

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki

Department of Electrical and Communication Engineering

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

This manuscript presented a higher-order logic theorem proving based approach for formally analyzing and verifying the safety and mission-critical aspects of smart grids. The main reason for the proposed approach is to overcome the limitations of traditional paper-and-pencil and simulation techniques, and ensure safe and secure grid operations.

Original language	English
Title of host publication	SpringerBriefs in Applied Sciences and Technology
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	77-79
Number of pages	3
DOIs	https://doi.org/10.1007/978-3-030-78409-6_6
Publication status	Published - 2022

Publication series

Name	SpringerBriefs in Applied Sciences and Technology
ISSN (Print)	2191-530X
ISSN (Electronic)	2191-5318

ASJC Scopus subject areas

Biotechnology
General Chemical Engineering
General Mathematics
General Materials Science
Energy Engineering and Power Technology
General Engineering

Access to Document

10.1007/978-3-030-78409-6_6

Cite this

@inbook{380b5309b72e40e586e5e1c613a8e18c,

title = "Conclusions",

abstract = "This manuscript presented a higher-order logic theorem proving based approach for formally analyzing and verifying the safety and mission-critical aspects of smart grids. The main reason for the proposed approach is to overcome the limitations of traditional paper-and-pencil and simulation techniques, and ensure safe and secure grid operations.",

author = "Asad Ahmed and Osman Hasan and Falah Awwad and Nabil Bastaki",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.",

year = "2022",

doi = "10.1007/978-3-030-78409-6_6",

language = "English",

series = "SpringerBriefs in Applied Sciences and Technology",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "77--79",

booktitle = "SpringerBriefs in Applied Sciences and Technology",

}

TY - CHAP

T1 - Conclusions

AU - Ahmed, Asad

AU - Hasan, Osman

AU - Awwad, Falah

AU - Bastaki, Nabil

PY - 2022

Y1 - 2022

N2 - This manuscript presented a higher-order logic theorem proving based approach for formally analyzing and verifying the safety and mission-critical aspects of smart grids. The main reason for the proposed approach is to overcome the limitations of traditional paper-and-pencil and simulation techniques, and ensure safe and secure grid operations.

AB - This manuscript presented a higher-order logic theorem proving based approach for formally analyzing and verifying the safety and mission-critical aspects of smart grids. The main reason for the proposed approach is to overcome the limitations of traditional paper-and-pencil and simulation techniques, and ensure safe and secure grid operations.

UR - http://www.scopus.com/inward/record.url?scp=85113496351&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85113496351&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-78409-6_6

DO - 10.1007/978-3-030-78409-6_6

M3 - Chapter

AN - SCOPUS:85113496351

T3 - SpringerBriefs in Applied Sciences and Technology

SP - 77

EP - 79

BT - SpringerBriefs in Applied Sciences and Technology

PB - Springer Science and Business Media Deutschland GmbH

ER -

Conclusions

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this