001442142 000__ 04181cam\a2200613\a\4500
001442142 001__ 1442142
001442142 003__ OCoLC
001442142 005__ 20230310003314.0
001442142 006__ m\\\\\o\\d\\\\\\\\
001442142 007__ cr\un\nnnunnun
001442142 008__ 210816s2022\\\\sz\\\\\\ob\\\\000\0\eng\d
001442142 020__ $$a9783030784096$$q(electronic bk.)
001442142 020__ $$a3030784096$$q(electronic bk.)
001442142 020__ $$z3030784088
001442142 020__ $$z9783030784089
001442142 0247_ $$a10.1007/978-3-030-78409-6$$2doi
001442142 035__ $$aSP(OCoLC)1264072449
001442142 040__ $$aYDX$$beng$$epn$$cYDX$$dGW5XE$$dOCLCO$$dOCLCF$$dOCLCQ$$dOCLCO$$dOCLCQ
001442142 049__ $$aISEA
001442142 050_4 $$aTK3105
001442142 08204 $$a621.3101/5118$$223
001442142 1001_ $$aAhmed, Asad,$$eauthor$$0(orcid)0000-0001-8276-0975$$1https://orcid.org/0000-0001-8276-0975
001442142 24510 $$aFormal analysis of future energy systems using interactive theorem proving /$$cAsad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki.
001442142 260__ $$aCham, Switzerland :$$bSpringer,$$c©2022.
001442142 300__ $$a1 online resource
001442142 336__ $$atext$$btxt$$2rdacontent
001442142 337__ $$acomputer$$bc$$2rdamedia
001442142 338__ $$aonline resource$$bcr$$2rdacarrier
001442142 4901_ $$aSpringerBriefs in applied sciences and technology,$$x2191-5318
001442142 504__ $$aIncludes bibliographical references.
001442142 5050_ $$aIntroduction -- Interactive Theorem Proving -- Formalization of Stability Theory -- Formalization of Asymptotic Notations -- Formalization of Cost and Utility in Microeconomics -- Conclusions.
001442142 506__ $$aAccess limited to authorized users.
001442142 520__ $$aThis 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.
001442142 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 19, 2021).
001442142 650_0 $$aSmart power grids$$xMathematical models.
001442142 650_0 $$aSmart power grids$$xComputer simulation.
001442142 650_0 $$aAutomatic theorem proving.
001442142 650_0 $$aFormal methods (Computer science)
001442142 650_6 $$aRéseaux électriques intelligents$$xModèles mathématiques.
001442142 650_6 $$aRéseaux électriques intelligents$$xSimulation par ordinateur.
001442142 650_6 $$aThéorèmes$$xDémonstration automatique.
001442142 650_6 $$aMéthodes formelles (Informatique)
001442142 655_0 $$aElectronic books.
001442142 7001_ $$aHasan, Osman,$$d1975-$$eauthor.
001442142 7001_ $$aAwwad, Falah,$$eauthor$$0(orcid)0000-0001-6154-2143$$1https://orcid.org/0000-0001-6154-2143
001442142 7001_ $$aBastaki, Nabil,$$eauthor.
001442142 77608 $$iPrint version:$$aAhmed, Asad.$$tFormal analysis of future energy systems using interactive theorem proving.$$dCham, Switzerland : Springer, ©2022$$z3030784088$$z9783030784089$$w(OCoLC)1250511309
001442142 830_0 $$aSpringerBriefs in applied sciences and technology,$$x2191-5318
001442142 852__ $$bebk
001442142 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-78409-6$$zOnline Access$$91397441.1
001442142 909CO $$ooai:library.usi.edu:1442142$$pGLOBAL_SET
001442142 980__ $$aBIB
001442142 980__ $$aEBOOK
001442142 982__ $$aEbook
001442142 983__ $$aOnline
001442142 994__ $$a92$$bISE