Nico Wallmeier, Patrick Hütten, Wolfgang Thomas  Home/Search
Context
Related
| i7.informatik.rwthaachen.de...wht03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: i7.informatik.r...homasabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a method to solve certain infinite games over finite state spaces and apply this for the automatic synthesis of finitestate controllers. A lift-controller problem serves as an example for which the implementation of our algorithm has been tested. The specifications consist of safety conditions and so-called "request-response-conditions" (which have the form "after visiting a state of P later a state of R is visited"). Many real-life problems can be modeled in this framework. (Update)
Active bibliography (related documents): More All
0.5: Timed Control with Partial Observability - Bouyer, al. (2003) (Correct)
0.3: The Package omega - Solving of Parity Games over Finite Graphs .. - Schmitz, Vöge (Correct)
0.3: A Discrete Strategy Improvement Algorithm for Solving Parity .. - Vöge, Jurdzinski (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ wallmeier-symbolic,
author = "Nico Wallmeier and Patrick Hütten and Wolfgang Thomas",
title = "Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications",
url = "citeseer.ist.psu.edu/755191.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
131 and logic (context) - Thomas, automata - 1997
78 the synthesis of strategies in infinite games - Thomas - 1995
4 A discrete strategy improvement algorithm for solving parity.. - Voge, Jurdzinski - 2000
3 Implementation of a strategy improvement algorithm for parit.. - Schmitz, Voge - 2000
2 Infinite games and verification (context) - Thomas - 2002
1 InfiniteWords (context) - Perrin, Pin et al. - 2003
1 Hierarchische kompositionale Synthese von Steuerungen fur re.. (context) - Melcher - 2001
http://www.it-c.dk/research/buddy/
Documents on the same site (http://www-i7.informatik.rwth-aachen.de/d/publications/pub-Thomas-abstracts.html): More
Deterministic Automata on Unranked Trees - Julien Cristau Christof (Correct)
Alternating Automata and Logics over Infinite Words (Extended .. - Löding, Thomas (2000) (Correct)
On Intersection Problems for Polynomially Generated Sets - Karianto, Krieg, Thomas (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC