Smart power grids - Computer simulation.

Modeling and simulation of smart grid integrated with hybrid renewable energy systems by: (Electronic resources)

Smart grid test bed using OPNET and power line communicationemerging research and opportunities / by: (Electronic resources)

Formal analysis of future energy systems using interactive theorem proving by: (Electronic resources)

Renewable energy sources.

Cyber-physical systems, IoT.

Formal methods (Computer science)

Smart power grids

Computational Intelligence.

Electric lines

Automatic theorem proving.

Power Electronics, Electrical Machines and Networks.

Natural Resource and Energy Economics.

Engineering.

Renewable and Green Energy.

Prototypes, Engineering.