Open AccessEnergy Management Algorithms in Smart Grids : State of the Art and Emerging Trends
Author(s) -
Joelle Klaimi,
Rana Rahim-Amoud,
Leïla Merghem-Boulahia,
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) - smart grid , computer science , energy management , renewable energy , energy consumption , algorithm , grid , efficient energy use , energy management system , energy (signal processing) , distributed computing , environmental economics , electrical engineering , engineering , economics , statistics , mathematics , geometry
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