Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup programme
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
ITU
ITU  /  Research  /  Technical Reports  /  Technical Reports Archive  /  2005  /  Interactive Reconfiguration in Power Supply Restoration
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
      • Technical Reports Archive
        • 2021
        • 2018
        • 2017
        • 2016
        • 2015
        • 2014
        • 2013
        • 2012
        • 2011
        • 2010
        • 2009
        • 2008
        • 2007
        • 2006
        • 2005
          • Scalable Computation of Acyclic Joins
          • Bigraphical Models of Context-aware Systems
          • Pre-Symmetry Set Based Shape Matching
          • Axiomatizing Binding Bigraphs (revised)
          • Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
          • BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction
          • Interactive Reconfiguration in Power Supply Restoration
            • Interactive Configuration Based on Linear Programming
            • Asymmetric k-Center with Minimum Coverage
            • Matching 2D Shapes Using Their Symmetry Sets
            • Semi-Automatic Foreground Extraction For Natural Images
            • Axiomatizing Binding Bigraphs
            • Distributed Reactive XML: an XML-centric coordination middleware
            • Bigraphs by Example
            • Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus
            • Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
            • Categorical Models of PILL
            • Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic
            • Bigraphs and (Reactive) XML - an XML-centric model of computation
            • Probabilistic models for concurrency - Notes for a minicourse
            • The Tree Inclusion Problem: In Optimal Space and Faster
          • 2004
          • 2003
          • 2002
          • 2001
          • 2000
      • PhD Programme

    Interactive Reconfiguration in Power Supply Restoration

    TR-2005-68, Authors: Tarik Hadzic and Henrik Reif Andersen

    Interactive Reconfiguration in Power Supply Restoration

    Tarik Hadzic and Henrik Reif Andersen

    June 2005

    Abstract

    Interactive configuration is the problem of assisting a user inselecting values for parameters that respect given constraints. Theproblem was introduced as a problem of productconfiguration with the emergence of the mass-customizationparadigm in product manufacturing but has also been applied toother application areas. Examples include specifying a product (aPC or a car), a service (a plane ticket or an insurance) orsetting up equipment (a VCR or heating controller). Intuition isthat in these situations, there is no definable unique bestsolution, and therefore a user should instead be guided inselecting the appropriate values for the parameters while at thesame time obeying the constraints and meeting user preferences.The guidance takes the form of immediate feedback on theconsequences of choices. There are three main important featuresrequired of an implementation of interactive configuration: Itshould be complete, backtrack-free, and provide real-timeperformance. It is a computational challenge to obtain all threesimultaneously.
    In this paper we look at interactive reconfiguration,where the starting point is a full valid configuration, which forexternal reasons becomes inconsistent and therefore has to bechanged back to a consistent configuration. We take the approach ofdetermining a small set of parameters that need to bechanged and on these perform interactive configuration to get backto a consistent configuration. We present two BDD-basedprecompilation algorithms for solving the problem. One based on amonolithic BDD-representation of the solution space and anotherusing a set of BDDs. Wecarry out experiments on a set of power supply restorationbenchmarks and show that the set-of-BDDs algorithm scales well. Infact, we are able to perform interactive reconfiguration onexamples where interactive configuration is not possible due toexplosions in the size of the corresponding monolithic BDDs. Thisshows that even systems that are too large for full interactiveconfiguration could be amenable to reconfiguration.

    Technical report [TR-2005-68] in IT University Technical Report Series, June 2005.

    Available as PDF.


    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53

    This page is printed from https://en.itu.dk/