Modeling and analysis of power-aware systems
Date
2003Author
Sokolsky, O.Philippou, Anna
Lee, I.
Christou, Kyriakos
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Volume
2619Pages
409-424Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating concurrent systems. The proposed extension allows the modeling of probabilistic resource failures, priorities of resource usages, and power consumption by resources within the same formalism. Thus, it is possible to model alternative power-consumption behaviors and analyze tradeoffs in their timing and other characteristics. This paper describes the modeling and analysis techniques, and illustrates them with examples, including a dynamic voltage-scaling algorithm. © Springer-Verlag Berlin Heidelberg 2003.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
On the Use of Tunable Power Splitter for Simultaneous Wireless Information and Power Transfer Receivers
Quddious, Abdul; Abbasi, Muhammad Ali Babar; Tariq, Muhammad Haroon; Antoniades, Marco A.; Vryonides, Photos; Nikolaou, Symeon (2018)The use of a tunable power splitter (PS) as a constituent component of a simultaneous wireless information and power transfer (SWIPT) system is discussed. Two varactor diodes are used to achieve a tunable output power ratio ...
-
Book Chapter
Stochastic solutions for the unit commitment of power systems with wind power generation
Ciornei, I.; Kyriakides, Elias (2013)
-
Conference Object
Heuristic solution for the nonconvex dispatch of generation in power systems with high wind power share
Ciornei, I.; Kyriakides, Elias (2009)