|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 16 van 27 gevonden artikelen
| Titel: |
Improvements in SAT-based Reachability Analysis for Timed Automata |
| Auteur: |
Andrzej Zbrzezny |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 60 (2004) nr. 1-4 pagina's 417-434 |
| Jaar: |
2004-09-10 |
| Inhoud: |
The paper deals with the problem of checking reachability for timed automata. In order to check reachability of a~state satisfying some property, first the transition relation of a timed automaton is unfolded iteratively to some depth and encoded as a propositional formula. Next, the property is translated to a propositional formula and satisfiability of the conjunction of the two defined above formulas is checked. The unfolding of the transition relation can be terminated when either a state satisfying the property has been found or all the states of the timed automaton have been searched. In this paper we propose some improvements of the encoding of the transition relation for timed automata. The improvements are partially based on a new discretization scheme. The efficiency of the improved encoding is strongly supported by the experimental results. We also introduce a method for checking unreachability. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 16 van 27 gevonden artikelen
| << vorige | volgende >> |