Bereikbaarheid probleem - Reachability problem
Bereikbaarheid is een fundamenteel probleem dat in verschillende contexten wordt weergegeven: finite- en infinite- staat parallelle systemen , computationele modellen zoals cellulaire automaten en Petri netten , programma-analyse , discrete en continue systemen , tijd-kritische systemen, hybride systemen , herschrijfsystemen , probabilistische en parametrische systemen en open systemen gemodelleerd als spelen .
In het algemeen is de bereikbaarheid probleem als volgt kunnen worden geformuleerd:
- Gegeven een computational (potentieel oneindige state) systeem met een aantal toegestane regels of transformaties beslissen of een bepaalde toestand van een systeem bereikbaar is vanuit een bepaalde begintoestand van het systeem.
Varianten van de bereikbaarheid probleem kan het gevolg zijn van extra beperkingen op het eerste of het laatste staten, specifieke eisen voor bereikbaarheid paden evenals voor iteratieve bereikbaarheid of in de analyse van de winnende strategieën in oneindige games of onvermijdelijkheid van bepaalde dynamiek veranderen van de vragen.
Kenmerkend voor bepaalde systeembeschrijving gegeven in een bepaalde vorm (regels reductie stelsels , logische formules, etc.) een bereikbaarheid probleem bestaat uit het controleren of een bepaalde set van target toestanden kunnen worden bereikt uitgaande van een vaste reeks begintoestanden. De set van target toestanden kunnen expliciet of impliciet via bepaalde representatie (bijvoorbeeld een stelsel van vergelijkingen, een set minimale elementen met betrekking tot enige volgorde aan de toestanden) vertegenwoordigd. Geavanceerde kwantitatieve en kwalitatieve eigenschappen kan vaak worden gereduceerd tot eenvoudige bereikbaarheid vragen. Beslisbaarheid en complexiteit grenzen, algoritmische oplossingen en efficiënte heuristiek zijn allemaal belangrijke aspecten te worden beschouwd in deze context. Algoritmische oplossingen zijn vaak gebaseerd op verschillende combinaties van exploratie strategieën, symbolische manipulaties van sets van staten, decompositie eigenschappen, of reductie tot lineaire programmering problemen, en ze vaak profiteren van benaderingen, abstracties, versnellingen en extrapolatie heurisitics. Ad hoc oplossingen en oplossingen op basis van algemene doeleinden constraint solvers en deductie motoren worden vaak gecombineerd met het oog op efficiëntie en flexibiliteit in evenwicht te brengen.
Inhoud
Varianten van bereikbaarheid problemen
Open problemen
Workshop over Bereikbaarheid Problems
De workshop over bereikbaarheid Problemen serie is een jaarlijkse wetenschappelijke conferentie waarin onderzoekers uit verschillende disciplines en achtergronden geïnteresseerd in bereikbaarheid problemen die in algebraïsche structuur, rekenmodellen, hybride systemen, oneindig games, logica en verificatie verschijnen samen verzamelt. De workshop probeert de kloof tussen de resultaten verkregen op verschillende gebieden, maar het delen van gemeenschappelijke wiskundige structuur of conceptuele moeilijkheden te vullen.
