Smart power grids - Computer simulation.

Modeling and simulation of smart grid integrated with hybrid renewable energy systems by: (書目-電子資源)

Smart grid test bed using OPNET and power line communicationemerging research and opportunities / by: (書目-電子資源)

Formal analysis of future energy systems using interactive theorem proving by: (書目-電子資源)

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.