limit your consumption finding bounds in average energy
play

Limit Your Consumption! Finding Bounds in Average-energy Games - PowerPoint PPT Presentation

Aug 07, 2023 •18 likes •698 views

Limit Your Consumption! Finding Bounds in Average-energy Games Joint work with Kim G. Larsen and Simon Laursen (Aalborg University) Martin Zimmermann Saarland University April, 3nd 2016 QAPL 16 Martin Zimmermann Saarland University Finding

  1. Limit Your Consumption! Finding Bounds in Average-energy Games Joint work with Kim G. Larsen and Simon Laursen (Aalborg University) Martin Zimmermann Saarland University April, 3nd 2016 QAPL 16 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 1/14

  2. Motivation Shift from programs to reactive systems: non-terminating interacting with a possibly antagonistic environment communication-intensive Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 2/14

  3. Motivation Shift from programs to reactive systems: non-terminating interacting with a possibly antagonistic environment communication-intensive Successful approach to verification and synthesis: an infinite game between the system and its environment: two players infinite duration perfect information system player wins if specification is satisfied Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 2/14

  4. Motivation Shift from programs to reactive systems: non-terminating interacting with a possibly antagonistic environment communication-intensive Successful approach to verification and synthesis: an infinite game between the system and its environment: two players infinite duration perfect information system player wins if specification is satisfied Here: graph-based games with quantitative winning conditions modeling consumption of a ressource Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 2/14

  5. An Example v 2 v 0 v 1 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  6. An Example v 2 v 0 v 1 A play: v 0 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  7. An Example v 2 v 0 v 1 A play: v 0 v 2 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  8. An Example v 2 v 0 v 1 A play: v 0 v 2 v 1 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  9. An Example v 2 v 0 v 1 A play: v 0 v 2 v 1 v 0 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  10. An Example v 2 v 0 v 1 A play: v 0 v 2 v 1 v 0 v 2 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  11. An Example v 2 v 0 v 1 A play: v 0 v 2 v 1 v 0 v 2 v 0 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  12. An Example v 2 v 0 v 1 A play: v 0 v 2 v 1 v 0 v 2 v 0 v 1 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  13. An Example v 2 v 0 v 1 A play: · · · v 0 v 2 v 1 v 0 v 2 v 0 v 1 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  14. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  15. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  16. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  17. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) ( v 1 , 0) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  18. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) ( v 1 , 0) ( v 0 , 0) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  19. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  20. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  21. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) ( v 1 , 4) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  22. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A play (with energy levels): ( v 0 , 0) ( v 2 , 3) ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) ( v 1 , 4) · · · Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  23. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 0 , 0) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  24. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 0 , 0) ( v 2 , 3) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  25. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  26. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) ( v 1 , 4) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  27. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) ( v 1 , 4) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  28. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) ( v 0 , 5) ( v 1 , 4) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  29. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) Energy level always between 0 and 5 ( v 0 , 5) ( v 1 , 4) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  30. An Example 3 -1 v 2 2 -3 0 v 0 v 1 -1 A strategy: ( v 1 , 0) ( v 0 , 0) ( v 2 , 3) Energy level always between 0 and 5 ( v 0 , 5) ( v 1 , 4) Average energy level at most 4 Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 3/14

  31. Previous Work objective Complexity Memory Requirements EG L NP ∩ co-NP memoryless EG LU ExpTime -complete pseudopolynomial Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 4/14

  32. Previous Work objective Complexity Memory Requirements EG L NP ∩ co-NP memoryless EG LU ExpTime -complete pseudopolynomial AE NP ∩ co-NP memoryless AE LU ExpTime -complete pseudopolynomial Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 4/14

  33. Previous Work objective Complexity Memory Requirements EG L NP ∩ co-NP memoryless EG LU ExpTime -complete pseudopolynomial AE NP ∩ co-NP memoryless AE LU ExpTime -complete pseudopolynomial AE LU ( U − L poly) NP ∩ co-NP polynomial Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 4/14

  34. Previous Work objective Complexity Memory Requirements EG L NP ∩ co-NP memoryless EG LU ExpTime -complete pseudopolynomial AE NP ∩ co-NP memoryless AE LU ExpTime -complete pseudopolynomial AE LU ( U − L poly) NP ∩ co-NP polynomial AE L ExpTime -hard ≥ pseudopolynomial Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 4/14

  35. Previous Work objective Complexity Memory Requirements EG L NP ∩ co-NP memoryless EG LU ExpTime -complete pseudopolynomial AE NP ∩ co-NP memoryless AE LU ExpTime -complete pseudopolynomial AE LU ( U − L poly) NP ∩ co-NP polynomial AE L ExpTime -hard ≥ pseudopolynomial W.l.o.g.: fix lower bound 0 In all problems, lower and upper bounds part of the input. Here: upper bound existentially quantified. Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 4/14

  36. Objectives Capacity cap ∈ N , threshold t ∈ N EG L = { v 0 v 1 · · · | ∀ n . 0 ≤ EL ( v 0 · · · v n ) } EG LU ( cap ) = { v 0 v 1 · · · | ∀ n . 0 ≤ EL ( v 0 · · · v n ) ≤ cap } Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 5/14

  37. Objectives Capacity cap ∈ N , threshold t ∈ N EG L = { v 0 v 1 · · · | ∀ n . 0 ≤ EL ( v 0 · · · v n ) } EG LU ( cap ) = { v 0 v 1 · · · | ∀ n . 0 ≤ EL ( v 0 · · · v n ) ≤ cap } � n − 1 1 AE( t ) = { v 0 v 1 · · · | lim sup i =0 EL ( v 0 · · · v i ) ≤ t } n n →∞ Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 5/14

  38. Objectives Capacity cap ∈ N , threshold t ∈ N EG L = { v 0 v 1 · · · | ∀ n . 0 ≤ EL ( v 0 · · · v n ) } EG LU ( cap ) = { v 0 v 1 · · · | ∀ n . 0 ≤ EL ( v 0 · · · v n ) ≤ cap } � n − 1 1 AE( t ) = { v 0 v 1 · · · | lim sup i =0 EL ( v 0 · · · v i ) ≤ t } n n →∞ AE L ( t ) = EG L ∩ AE( t ) AE LU ( cap , t ) = EG LU ( cap ) ∩ AE( t ) Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 5/14

  39. Finding Bounds in Average-energy Games Input : Weighted arena A Question : Exists a threshold t ∈ N s.t. Player 0 wins ( A , AE L ( t ))? Martin Zimmermann Saarland University Finding Bounds in Average-energy Games 6/14

Recommend

1. Introduction limit reductions: energy, environmental and safety Motivation assessment

1. Introduction limit reductions: energy, environmental and safety Motivation assessment

Using naturalistic driving data to evaluate speed 1. Introduction limit reductions: energy, environmental and safety Motivation assessment Significant impacts of transport sector: o Energy consumption ( security of supply) o GHG

341 views • 8 slides
Freezers are major energy users in the lab 1 average -80 freezer uses 12,000 kwh of energy

Freezers are major energy users in the lab 1 average -80 freezer uses 12,000 kwh of energy

Freezers are major energy users in the lab 1 average -80 freezer uses 12,000 kwh of energy per year The same amount used by 1 family home in the US per year! General tips for reducing freezer energy consumption: Maintain a

470 views • 5 slides
Finding t Finding the he fue fuel poor: an l poor: an exploration of challenges and ex

Finding t Finding the he fue fuel poor: an l poor: an exploration of challenges and ex

Finding t Finding the he fue fuel poor: an l poor: an exploration of challenges and ex practicable pract icable s solut olutions ions. Postgraduate symposium on household energy consumption, technology and efficiency, University of

551 views • 27 slides
Energy Consumption in Energy Consumption in IP Networks IP Networks Rodney S. Tucker, Jayant

Energy Consumption in Energy Consumption in IP Networks IP Networks Rodney S. Tucker, Jayant

Energy Consumption in Energy Consumption in IP Networks IP Networks Rodney S. Tucker, Jayant Baliga, Robert Ayre, Kerry Hinton, Wayne V. Sorin ARC Special Research Centre for Ultra-Broadband Information Networks (CUBIN) University of

695 views • 21 slides
Meaning of Energy Audit: Energy audit is an official scientific study of energy consumption of an

Meaning of Energy Audit: Energy audit is an official scientific study of energy consumption of an

Meaning of Energy Audit: Energy audit is an official scientific study of energy consumption of an organisation/process/plant/equipment aimed at reduction of energy consumption and energy costs without affecting productivity and comforts and

351 views • 12 slides
l DG Energy Unit C3 Energy efficiency of products & Intelligent Energy - Europe Matthew

l DG Energy Unit C3 Energy efficiency of products & Intelligent Energy - Europe Matthew

Consultation Forum Vaccum Cleaners l DG Energy Unit C3 Energy efficiency of products & Intelligent Energy - Europe Matthew Kestner 8/09/2011 Vacuum cleaners - Background: l . Increasing Energy Consumption Average input power around 500W

725 views • 47 slides
Average case lower bounds for threshold circuits Ruiwen Chen, Rahul Santhanam and Srikanth

Average case lower bounds for threshold circuits Ruiwen Chen, Rahul Santhanam and Srikanth

Average case lower bounds for threshold circuits Ruiwen Chen, Rahul Santhanam and Srikanth Srinivasan University of Oxford and Department of Mathematics, IIT Bombay CCC 2016 Average case bounds for TC 0 Chen, Santhanam, S. May 2016 1 / 21

1.18k views • 95 slides
How it works and what you need to know Clem son Energy Goals Reduce energy consumption 20%

How it works and what you need to know Clem son Energy Goals Reduce energy consumption 20%

How it works and what you need to know Clem son Energy Goals Reduce energy consumption 20% relative to the fiscal year of 2000 2020 10% increase of energy from renewable energy sources 2025 Promote sustainable energy projects Encourage

315 views • 13 slides
Evaluating the trade-off between Performance and Energy Consumption in DAS-4 Performance and

Evaluating the trade-off between Performance and Energy Consumption in DAS-4 Performance and

Evaluating the trade-off between Performance and Energy Consumption in DAS-4 Performance and Energy Consumption in DAS-4 System and Networking Engineering Renato Fontana | Katerina Mparmpopoulou Presentation Flow Green concepts Project

473 views • 22 slides
Energy Consumption What uses less energy per hour: The Nintendo Switch or the Xbox Series X?

Energy Consumption What uses less energy per hour: The Nintendo Switch or the Xbox Series X?

1 Energy Consumption What uses less energy per hour: The Nintendo Switch or the Xbox Series X? _________________________________________________________________________________ 6 th Grade Wiesbaden Middle school 2 Energy Consumption Earth

481 views • 27 slides
Energy Consumption and Desalination May 07, 2020 Juan Miguel Pinto, Energy Recovery Inc. NASDAQ:

Energy Consumption and Desalination May 07, 2020 Juan Miguel Pinto, Energy Recovery Inc. NASDAQ:

Energy Consumption and Desalination May 07, 2020 Juan Miguel Pinto, Energy Recovery Inc. NASDAQ: ERII AGENDA 1. Introduction 2. Desalination 3. SWRO Seawater Reverse Osmosis 4. Energy consumption 5. Renewable energy 6. Conclusion

1.17k views • 41 slides
Average - case Lower Bounds for Approximate Near - Neighbor fs om Isoperimetric Inequalities

Average - case Lower Bounds for Approximate Near - Neighbor fs om Isoperimetric Inequalities

Simple Average - case Lower Bounds for Approximate Near - Neighbor fs om Isoperimetric Inequalities Yitong Yin Nanjing University Nearest Neighbor Search ( NNS ) metric space ( X, dist) query x X database access y = ( y 1 , y 2 , . . . , y

384 views • 26 slides
The Energy Landscape The reality The need for Energy transition Energy consumption and

The Energy Landscape The reality The need for Energy transition Energy consumption and

The Energy Landscape The reality The need for Energy transition Energy consumption and production represents around two-thirds of the global GHG emissions and 81% of the global energy mix is still based on fossil fuels, the same percentage

409 views • 20 slides
Understanding the European Energy Situation Energy Consumption Energy is used worldwide

Understanding the European Energy Situation Energy Consumption Energy is used worldwide

Understanding the European Energy Situation Energy Consumption Energy is used worldwide in various forms (electricity, gas, fuel, steam, etc), but its cost increases as fast as non-renewable resources are disappearing. In the last

167 views • 6 slides
ICT for Sustainability Lorenz Hilty Energy Efficiency 1 Doing more useful things with less

ICT for Sustainability Lorenz Hilty Energy Efficiency 1 Doing more useful things with less

ICT for Sustainability Lorenz Hilty Energy Efficiency 1 Doing more useful things with less energy input Closing Material Cycles 2 Thinking in material flow systems Decoupling 3 How ICT can help to limit resource consumption Energy Efficiency

376 views • 35 slides
Covering Arrays with Row Limit: Bounds and Constructions Nevena Franceti c Supervised by

Covering Arrays with Row Limit: Bounds and Constructions Nevena Franceti c Supervised by

Covering Arrays with Row Limit: Bounds and Constructions Nevena Franceti c Supervised by Prof. P. Danziger and Prof. E. Mendelsohn Discrete Maths Research Group Monash University September 22, 2014. Covering arrays N. Franceti c

954 views • 93 slides
Reducing Energy Bobby R. Bruce Consumption Using Justyna Petke Mark Harman Genetic Improvement

Reducing Energy Bobby R. Bruce Consumption Using Justyna Petke Mark Harman Genetic Improvement

University College London Reducing Energy Bobby R. Bruce Consumption Using Justyna Petke Mark Harman Genetic Improvement How Many Wind Turbines do you need to Power the entire ICT infrastructure? Average 2MW wind turbine will generate

707 views • 21 slides
Large Deviation Bounds A typical probability theory statement: Theorem (The Central Limit

Large Deviation Bounds A typical probability theory statement: Theorem (The Central Limit

Large Deviation Bounds A typical probability theory statement: Theorem (The Central Limit Theorem) Let X 1 , . . . , X n be independent identically distributed random variables with common mean and variance 2 . Then z n 1 i =1 X i

889 views • 42 slides
Large Deviation Bounds A typical probability theory statement: Theorem (The Central Limit

Large Deviation Bounds A typical probability theory statement: Theorem (The Central Limit

Large Deviation Bounds A typical probability theory statement: Theorem (The Central Limit Theorem) Let X 1 , . . . , X n be independent identically distributed random variables with common mean and variance 2 . Then z n 1 i =1 X i

901 views • 37 slides
Bounds on Deviation average IQ = 100. Markov Bound What fraction of the people can possibly have

Bounds on Deviation average IQ = 100. Markov Bound What fraction of the people can possibly have

Mathematics for Computer Science Example: IQ MIT 6.042J/18.062J IQ measure was constructed so that Bounds on Deviation average IQ = 100. Markov Bound What fraction of the people can possibly have an IQ 300? at most 1/3 markov.1

418 views • 4 slides
SSD Characterization: From Energy Consumption's Perspective Youjip Won Hanyang University

SSD Characterization: From Energy Consumption's Perspective Youjip Won Hanyang University

NVRAMOS 11 November 8, 2011, Jeju SSD Characterization: From Energy Consumption's Perspective Youjip Won Hanyang University Outline Outline Motivation p Related Works p SSD Organization and Energy Consumption p Channels, Ways and

708 views • 67 slides
Gavin Dillingham USGBC Energy Summit October 7, 2014 US Energy Consumption - 2002 US Energy

Gavin Dillingham USGBC Energy Summit October 7, 2014 US Energy Consumption - 2002 US Energy

Gavin Dillingham USGBC Energy Summit October 7, 2014 US Energy Consumption - 2002 US Energy Consumption - 2013 Change in Energy Use and Intensity Greentech Media - 2013 What is a Fuel Cell? A fuel cell is an electrochemical device that

562 views • 33 slides
Kernel lower bounds using co-nondeterminism: Finding induced hereditary subgraphs Stefan Kratsch,

Kernel lower bounds using co-nondeterminism: Finding induced hereditary subgraphs Stefan Kratsch,

Kernel lower bounds using co-nondeterminism: Finding induced hereditary subgraphs Stefan Kratsch, Marcin Pilipczuk, Ashutosh Rai, Venkatesh Raman SWAT 2012, Helsinki S. Kratsch, M. Pilipczuk, A. Rai, V. Raman Kernel lower bounds using

1.32k views • 75 slides
Lower bounds for average values of Arakelov-Green functions and global applications Matt Baker

Lower bounds for average values of Arakelov-Green functions and global applications Matt Baker

Motivation: The work of HindrySilverman Equidistribution and Non-Equidistribution on Elliptic Curves Arakelov-Green functions on metrized graphs Arithmetic dynamics Lower bounds for average values of Arakelov-Green functions and global

1.46k views • 102 slides

More recommend