Smart power grids - Mathematical models.

A distributed linear programming models in a smart grid by: (Electronic resources)

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

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

Distributed economic operation in smart gridmodel-based and model-free perspectives / by: (Electronic resources)

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.