Generalized best-first search strategies and the optimality of A*
Journal of the ACM (JACM)
Depth-first iterative-deepening: an optimal admissible tree search
Artificial Intelligence
Backtrack-free and backtrack-bounded search
Search in Artificial Intelligence
A simulation tool for the performance evaluation of parallel branch and bound algorithms
Mathematical Programming: Series A and B
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
From local to global consistency
Artificial Intelligence
The hardest constraint problems: a double phase transition
Artificial Intelligence
Beyond objects: a software design paradigm based on process control
ACM SIGSOFT Software Engineering Notes
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Synthesizing constraint expressions
Communications of the ACM
Imposing real-time constraints on self-adaptive controller synthesis
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Self-adaptive multi-sensor systems
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Guest Editor's Introduction: Creating Robust Software through Self-Adaptation
IEEE Intelligent Systems
Control Theory-Based Foundations of Self-Controlling Software
IEEE Intelligent Systems
A Model-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Searching with Pattern Databases
AI '96 Proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Software Architecture-Based Adaptation for Pervasive Systems
ARCS '02 Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing
Performance measurement and analysis of certain search algorithms.
Performance measurement and analysis of certain search algorithms.
Feedback Control of Computing Systems
Feedback Control of Computing Systems
The GRAVA Self-Adaptive Architecture: History; Design; Applications; and Challenges
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
Effects of Computation Speed on the Stability of a Self-Controlling Process.
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Visibility of control in adaptive systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
Application of Self Controlling Software Approach to Reactive Tabu Search
SASO '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Exact phase transitions in random constraint satisfaction problems
Journal of Artificial Intelligence Research
Quantum computing and phase transitions in combinatorial search
Journal of Artificial Intelligence Research
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On the expressiveness of networks with hidden variables
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Finding optimal solutions to Rubik's cube using pattern databases
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Self Controlling Tabu Search algorithm for the Quadratic Assignment Problem
Computers and Industrial Engineering
Hi-index | 0.00 |
This paper presents the self-controlling software paradigm and reports on its use to control the branch and bound based constraint satisfaction problem solving algorithm. In this paradigm, an algorithm is first conceptualized as a dynamical system and then a feedback control loop is added to control its behavior. The loop includes a Quality of Service component that assesses the performance of the algorithm during its run time and a controller that adjusts the parameters of the algorithm in order to achieve the control goal. Although other approaches - generally termed as ''self-*'' - make use of control loops, this use is limited to the structure of the software system, rather than to its behavior and its dynamics. This paper advocates the analysis of dynamics of any program with control loops. The self-controlling software paradigm is evaluated on two different NP-hard constraint satisfaction and optimization problems. The results of the evaluation show an improvement in the performance due to the added control loop for both of the tested constraint satisfaction problems.