Search for dissertations about: "state complexity"
Showing result 6 - 10 of 543 swedish dissertations containing the words state complexity.
-
6. Poland under pressure 1980-81 : crisis management in state-society conflict
Abstract : The primary purpose of this study is to describe and analyze the crisis management strategies used by Solidarity and state authorities during the Polish Crisis 1980-81. These key domestic actors adjusted their actions in response to the international context of the crisis. READ MORE
-
7. Complexity of state-variable planning under structural restrictions
Abstract : Computationally tractable planning problems reported in the literature have almost exclusively been defined by syntactical restrictions. To better exploit the inherent structure in problems, it is probably necessary to study also structural restrictions on the underlying state-transition graph. READ MORE
-
8. Lower Bounds and Trade-offs in Proof Complexity
Abstract : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. READ MORE
-
9. State Estimation for Distributed and Hybrid Systems
Abstract : This thesis deals with two aspects of recursive state estimation: distributed estimation and estimation for hybrid systems. In the first part, an approximate distributed Kalman filter is developed. Nodes update their state estimates by linearly combining local measurements and estimates from their neighbors. READ MORE
-
10. Models and Complexity Results in Real-Time Scheduling Theory
Abstract : When designing real-time systems, we want to prove that they will satisfy given timing constraints at run time. The main objective of real-time scheduling theory is to analyze properties of mathematical models that capture the temporal behaviors of such systems. READ MORE