Smart power grids - Mathematical models.

A distributed linear programming models in a smart grid by: (書目-電子資源)

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

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

Distributed economic operation in smart gridmodel-based and model-free perspectives / by: (書目-電子資源)

Renewable energy sources.

Cyber-physical systems, IoT.

Electronics and Microelectronics, Instrumentation.

Formal methods (Computer science)

Smart power grids.

Energy Grids and Networks.

Smart power grids

Power Electronics, Electrical Machines and Networks.

Computational Intelligence.

Automatic theorem proving.

Linear programming.

Energy.

Natural Resource and Energy Economics.

Optimization.

Renewable and Green Energy.

Engineering.

Vehicle Engineering.

Graph Theory in Probability.