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 grid = model-based and model-free perspectives / by: (Electronic resources)

Renewable energy sources.

Smart power grids- Data processing.

Cyber-physical systems, IoT.

Electronics and Microelectronics, Instrumentation.

Smart power grids- Computer simulation.

Formal methods (Computer science)

Smart power grids.

Energy Grids and Networks.

Power Electronics, Electrical Machines and Networks.

Computational Intelligence.

Automatic theorem proving.

Smart power grids- Mathematical models.

Linear programming.

Energy.

Natural Resource and Energy Economics.

Optimization.

Renewable and Green Energy.

Engineering.

Vehicle Engineering.

Graph Theory in Probability.