Energy Management Algorithms in Smart Grids : State of the Art and Emerging Trends | Zendy

Joelle Klaimi | Zendy; Rana Rahim-Amoud | Zendy; Leïla MerghemBoulahia | Zendy; Akil Jrad | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Energy Management Algorithms in Smart Grids : State of the Art and Emerging Trends

Author(s) -

Joelle Klaimi,

Rana Rahim-Amoud,

Leïla MerghemBoulahia,

Akil Jrad

Publication year - 2016

Publication title -

international journal of artificial intelligence and applications

Language(s) - English

Resource type - Journals

eISSN - 0976-2191

pISSN - 0975-900X

DOI - 10.5121/ijaia.2016.7403

Subject(s) - computer science , smart grid , energy management , renewable energy , energy consumption , algorithm , grid , efficient energy use , energy engineering , energy (signal processing) , distributed computing , electrical engineering , engineering , statistics , geometry , mathematics

Markovian timed automata (MTA) has been proposed as an expressive formalism for specification of realtime properties in Markovian stochastic processes. In this paper, we define bisimulation relation for deterministic MTA. This definition provides a basis for developing effective algorithms for deciding bisimulation relation for such automata

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research