An Automata-Based View on Configurability and Uncertainty
In this paper, we propose an automata-based method for modeling the problem of communicating with devices operating in configurations which are uncertain, but where certain information is given about the possible space of configurations, as well as probabilities for the various configuration choices. Drawing inspiration from feature models for describing configurability, an extensible automata model is described, and two decision problems modeling the question of deciding the most likely configuration (as a set of extensions) for a given communicating device are given. A series of hardness results (the entirely general problems both being NP-complete) and efficient algorithms for relevant restricted cases are then given.
This work is based on the research supported in part by the National Research Foundation of South Africa (Grant Number 115007).
- 9.Weiser, M.: The computer for the 21st century. In: Baecker, R.M., Grudin, J., Buxton, W.A.S., Greenberg, S. (eds.) Human-computer Interaction, pp. 933–940. Morgan Kaufmann Publishers (1995). (Reprinted in ACM SIGMOBILE Mobile Comput. Commun. Rev. 3(3), 3–11 (1999). https://doi.org/10.1145/329124.329126)CrossRefGoogle Scholar