Formal analysis of future energy systems using interactive theorem proving

Main Author:	Ahmed, Asad
Other Authors:	Hasan, Osman, Awwad, Falah, Bastaki, Nabil
Subjects:	Smart power grids -- > Mathematical models Smart power grids -- > Computer simulation Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

Adaptive power quality for power management units using smart technologies

Advances in smart grid power system : network, control and security
by: Tomar, Anuradha

From smart grid to internet of energy
by: Kabalci, Ersan

Hybrid intelligent approaches for smart energy

Handbook of research on smart power system operation and control

Smart grid systems : modeling and control

Smart grids and green energy systems

Artificial Intelligence-based smart power systems

Intelligent systems for stability assessment and control of smart power grids

European guide to power system testing : the ERIGrid holistic approach for evaluating complex smart grid configurations
Published: (2020)

Smart grids for renewable energy systems, electric vehicles and energy storage systems

Sustainable networks in smart grid

Fundamentals of smart grid systems
by: Kamran, Muhammad

Smart microgrid systems : advanced technologies
by: Hemapala, KTM Udayanga

Deregulated electricity structures and smart grids

Proceedings of the 7th PURPLE MOUNTAIN FORUM on Smart Grid Protection and Control (PMF2022)

Microgrid Protection and Control
by: Yue, Jun

The fundamentals of microgrids : development and implementation

Microgrids : theory and practice

Microgrids for rural areas : research and case studies

Active electrical distribution network : issues, solution techniques, and applications

Intelligent data-analytics for condition monitoring
by: Malik, Hasmat

Virtual power plant solution for future smart energy communities

Electric transportation systems in smart power grids : integration, aggregation, ancillary services, and best practices

Knowledge is power in four dimensions : models to forecast future paradigm : models to forecast future paradigm : with artificial intelligence integration in energy and other use cases
by: Zohuri, Bahman

Data mining techniques in grid computing environments
Published: (2008)

Handbook of formal analysis and verification in cryptography

Simulation of power electronics converters using plecsʼ
by: Asadi, Farzin

Enterprise grid computing with Oracle
by: Goyal, Brajesh
Published: (2006)

A model to forecast future paradigms : volume 1, introduction to knowledge is power in four dimensions
by: Zohuri, Bahman

Microgrids and methods of analysis
by: Gharehpetian, Gevork B.

Smart grids and big data analytics for smart cities
by: Lai, Chun Sing

Smart grids and micro-grids : technology evolution

Simulation using ProModel
by: Harrell, Charles
Published: (2004)

Interactive dynamic system simulation
by: Korn, Granino A
Published: (1989)

Electrical power systems : concepts, theory and practice
by: Ray, Subir
Published: (2007)

An Introduction to discrete mathematics and formal system specification
by: Ince, D. C
Published: (1988)

Solar PV and wind energy conversion systems : an introduction to theory, modeling with MATLAB/SIMULINK, and the role of soft computing techniques
by: Sumathi, S

High-performance parallel database processing and grid databases
Published: (2008)

Handbook of model predictive control