Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

SAT-Solving in Practice, … - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Artikel i vetenskaplig tidskrift
Författare Koen Claessen
Niklas Een
Mary Sheeran
Niklas Sörensson
Alexey Voronov
Knut Åkesson
Publicerad i Discrete Event Dynamic Systems
Volym 19
Nummer/häfte 4
Sidor 495-524
ISSN 0924-6703
Publiceringsår 2009
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 495-524
Språk en
Länkar dx.doi.org/10.1007/s10626-009-0081-...
https://gup.ub.gu.se/file/192586
Ämnesord Formal verification, Boolean satisfiability problem, Model checking, Supervisory control
Ämneskategorier Teoretisk datalogi, Datavetenskap (datalogi)

Sammanfattning

Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such a way that the formula evaluates to true, is one of the classic problems in computer science. It is of theoretical interest because it is the canonical NP-complete problem. It is of practical interest because modern SAT-solvers can be used to solve many important and practical problems. In this tutorial paper, we show briefly how such SAT-solvers are implemented, and point to some typical applications of them. Our aim is to provide sufficient information (much of it through the reference list) to kick-start researchers from new fields wishing to apply SAT-solvers to their problems. Supervisory control theory originated within the control community and is a framework for reasoning about a plant to be controlled and a specification that the closed-loop system must fulfil. This paper aims to bridge the gap between the computer science community and the control community by illustrating how SAT-based techniques can be used to solve some supervisory control related problems.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?