1. |
- de Oliveira Oliveira, Mateus, 1982-
(författare)
-
Combinatorial Slice Theory
- 2013
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. We give special attentionto objects that can be represented as sequences of slices. We have successfully applied our theory to obtain novel results in three fields: concurrency theory,combinatorics and logic. Some notable results are:Concurrency Theory:We prove that inclusion and emptiness of intersection of the causalbehavior of bounded Petri nets are decidable. These problems had been open for almost two decades.We introduce an algorithm to transitively reduce infinite familiesof DAGs. This algorithm allows us to operate with partial order languages defined via distinct formalisms, such as, Mazurkiewicztrace languages and message sequence chart languages.Combinatorics:For each constant z ∈ N, we define the notion of z-topological or-der for digraphs, and use it as a point of connection between the monadic second order logic of graphs and directed width measures, such as directed path-width and cycle-rank. Through this connection we establish the polynomial time solvability of a large numberof natural counting problems on digraphs admitting z-topological orderings.Logic:We introduce an ordered version of equational logic. We show thatthe validity problem for this logic is fixed parameter tractable withrespect to the depth of the proof DAG, and solvable in polynomial time with respect to several notions of width of the equations being proved. In this way we establish the polynomial time provability of equations that can be out of reach of techniques based on completion and heuristic search.
|
|
2. |
- Setréus, Johan, 1980-
(författare)
-
Identifying critical components for system reliability in power transmission systems
- 2011
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Large interruptions of power supply in the transmission system have considerable impact on modern society. The goal for the transmission system operator (TSO) is to prevent and mitigate such events with optimal decisions in design, planning, operation and maintenance. Identifying critical power components for system reliability provides one important input to this decision-making. This thesis develops quantitative component reliability importance indices applicable for identifying critical components in real transmission systems. Probabilistic models with component failure statistics are combined with detailed power system models evaluated with the AC power flow technique. In the presented method each system component is assigned three importance indices based on outage events expected probability and consequence to (i) reduced system security margin, (ii) interrupted load supply and (iii) disconnected generation units. By ranking components by each of the three interests, a more complete view of the risks to system reliability can be assessed than if, as traditionally, only (ii) is modelled. The impact on security margin is studied in well established critical transfer sections (CTS) supervised by the TSO. TSOs set the CTSs limits [MW] based on deterministic security criteria, with regard to thermal, voltage level, and system stability limits, and the CTSs' condition at post-contingency state is in the method used as an indicator of the system security margin. The methodology is extended with three indices modified to quantify the component importance for common-cause events initiated by acts of sabotage. The developed methods are applied on a significant part of the Great Britain transmission system, modelling 7000 components and 107 substation layouts. The study includes several load demand scenarios, 200 million initiating outage events and non-functioning protection equipment. The resulting component ranking provides an important input to the TSO's decision-making, and could be implemented as a complement to the existing deterministic N-1 criterion. With the methods applied a TSO can perform further and more detailed assessments on a few critical components in order to enhance system reliability for equipment failures and strengthen the system vulnerability against sabotage.
|
|
3. |
- Setréus, Johan, 1980-
(författare)
-
On Reliability Methods Quantifying Risks to Transfer Capability in Electric Power Transmission Systems
- 2009
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- In the operation, planning and design of the transmission system it is of greatest concern to quantify the reliability security margin to unwanted conditions. The deterministic N-1 criterion has traditionally provided this security margin to reduce the consequences of severe conditions such as widespread blackouts. However, a deterministic criterion does not include the likelihood of different outage events. Moreover, experience from blackouts shows, e.g. in Sweden-Denmark September 2003, that the outages were not captured by the N-1 criterion. The question addressed in this thesis is how this system security margin can be quantified with probabilistic methods. A quantitative measure provides one valuable input to the decision-making process of selecting e.g. system expansions alternatives and maintenance actions in the planning and design phases. It is also beneficial for the operators in the control room to assess the associated security margin of existing and future network conditions. This thesis presents a method that assesses each component's risk to an insufficient transfer capability in the transmission system. This shows on each component's importance to the system security margin. It provides a systematic analysis and ranking of outage events' risk of overloading critical transfer sections (CTS) in the system. The severity of each critical event is quantified in a risk index based on the likelihood of the event and the consequence of the section's transmission capacity. This enables a comparison of the risk of a frequent outage event with small CTS consequences, with a rare event with large consequences. The developed approach has been applied for the generally known Roy Billinton Test System (RBTS). The result shows that the ranking of the components is highly dependent on the substation modelling and the studied system load level. With the restriction of only evaluating the risks to the transfer capability in a few CTSs, the method provides a quantitative ranking of the potential risks to the system security margin at different load levels. Consequently, the developed reliability based approach provides information which could improve the deterministic criterion for transmission system planning.
|
|
4. |
- Brynielsson, Joel, 1974-
(författare)
-
A gaming perspective on command and control
- 2006
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- In emergency management and in military operations, command and control comprises the collection of functions, systems and staff personnel that one or several executives draw on to arrive at decisions and seeing that these decisions are carried out. The large amount of available information coupled with modern computers and computer networks brings along the potential for making well-informed and quick decisions. Hence, decision-making is a central aspect in command and control, emphasizing an obvious need for development of adequate decision-supporting tools to be used in command and control centers. However, command and control takes place in a versatile environment, including both humans and artifacts, making the design of useful computer tools both challenging and multi-faceted. This thesis deals with preparatory action in command and control settings with a focus on the strategic properties of a situation, i.e., to aid commanders in their operational planning activities with the utmost goal of ensuring that strategic interaction occurs under the most favorable circumstances possible. The thesis highlights and investigates the common features of interaction by approaching them broadly using a gaming perspective, taking into account various forms of strategic interaction in command and control. This governing idea, the command and control gaming perspective, is considered an overall contribution of the thesis. Taking the gaming perspective, it turns out that the area ought to be approached from several research directions. In particular, the persistent gap between theory and applications can be bridged by approaching the command and control gaming perspective using both an applied and a theoretical research direction. On the one hand, the area of game theory in conjunction with research findings stemming from artificial intelligence need to be modified to be of use in applied command and control settings. On the other hand, existing games and simulations need to be adapted further to take theoretical game models into account. Results include the following points: (1) classification of information with proposed measurements for a piece of information's precision, fitness for purpose and expected benefit, (2) identification of decision help and decision analysis as the two main directions for development of computerized tools in support of command and control, (3) development and implementation of a rule based algorithm for map-based decision analysis, (4) construction of an open source generic simulation environment to support command and control microworld research, (5) development of a generic tool for prediction of forthcoming troop movements using an algorithm stemming from particle filtering, (6) a non-linear multi-attribute utility function intended to take prevailing cognitive decision-making models into account, and (7) a framework based on game theory and influence diagrams to be used for command and control situation awareness enhancements. Field evaluations in cooperation with military commanders as well as game-theoretic computer experiments are presented in support of the results.
|
|
5. |
- Pernestål, Anna, 1978-
(författare)
-
A Bayesian approach to fault isolation with application to diesel engine diagnosis
- 2007
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Users of heavy trucks, as well as legislation, put increasing demands on heavy trucks. The vehicles should be more comfortable, reliable and safe. Furthermore, they should consume less fuel and be more environmentally friendly. For example, this means that faults that cause the emissions to increase must be detected early. To meet these requirements on comfort and performance, advanced sensor-based computer control-systems are used. However, the increased complexity makes the vehicles more difficult for the workshop mechanic to maintain and repair. A diagnosis system that detects and localizes faults is thus needed, both as an aid in the repair process and for detecting and isolating (localizing) faults on-board, to guarantee that safety and environmental goals are satisfied. Reliable fault isolation is often a challenging task. Noise, disturbances and model errors can cause problems. Also, two different faults may lead to the same observed behavior of the system under diagnosis. This means that there are several faults, which could possibly explain the observed behavior of the vehicle. In this thesis, a Bayesian approach to fault isolation is proposed. The idea is to compute the probabilities, given ``all information at hand'', that certain faults are present in the system under diagnosis. By ``all information at hand'' we mean qualitative and quantitative information about how probable different faults are, and possibly also data which is collected during test drives with the vehicle when faults are present. The information may also include knowledge about which observed behavior that is to be expected when certain faults are present. The advantage of the Bayesian approach is the possibility to combine information of different characteristics, and also to facilitate isolation of previously unknown faults as well as faults from which only vague information is available. Furthermore, Bayesian probability theory combined with decision theory provide methods for determining the best action to perform to reduce the effects from faults. Using the Bayesian approach to fault isolation to diagnose large and complex systems may lead to computational and complexity problems. In this thesis, these problems are solved in three different ways. First, equivalence classes are introduced for different faults with equal probability distributions. Second, by using the structure of the computations, efficient storage methods can be used. Finally, if the previous two simplifications are not sufficient, it is shown how the problem can be approximated by partitioning it into a set of sub problems, which each can be efficiently solved using the presented methods. The Bayesian approach to fault isolation is applied to the diagnosis of the gas flow of an automotive diesel engine. Data collected from real driving situations with implemented faults, is used in the evaluation of the methods. Furthermore, the influences of important design parameters are investigated. The experiments show that the proposed Bayesian approach has promising potentials for vehicle diagnosis, and performs well on this real problem. Compared with more classical methods, e.g. structured residuals, the Bayesian approach used here gives higher probability of detection and isolation of the true underlying fault.
|
|
6. |
- Suzic, Robert, 1974-
(författare)
-
Stochastic Multi-Agent Plan Recognition, Knowledge Representation and Simulations for Efficient Decision Making
- 2006
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Advances in information technology produce large sets of data for decision makers. In both military and civilian efforts to achieve decision superiority, decision makers have to act agilely with proper, adequate and relevant information available. Information fusion is a process aimed to support decision makers’ situation awareness. This involves a process of combining data and information from disparate sources with prior information or knowledge to obtain an improved state estimate about an agent or other relevant phenomena. The important issue in decision making is not only assessing the current situation but also envisioning how a situation may evolve. In this work we focus on the prediction part of decision making called predictive situation awareness. We introduce new methodology where simulations and plan recognition are tools for achieving improved predictive situation awareness. Plan recognition is the term given to the process of inferring an agent’s intentions from a set of actions and is intended to support decision making. Beside its main task that is to support decision makers’ predictive situation awareness, plan recognition could also be used for coordination of actions and for developing computer-game agents that possess cognitive ability to recognize other agents’ behaviour. Successful plan recognition is heavily dependent on the data that is supplied. Therefore we introduce a bridge between plan recognition and sensor management where results of our plan recognition are reused to the control of, to give focus of attention to, the sensors that are expected to acquire the most important/relevant information. Our methodologies include knowledge representation, embedded stochastic simulations, microeconomics, imprecise knowledge and statistical inference issues.
|
|