Vi föreslår nya controller syntestekniker för probabilistiska system modellerade med hjälp av stokastiska två-spelare spel: en spelare fungerar som en controller, den andra representerar sin miljö, och sannolikheten används för att fånga osäkerhet som uppstår till exempel på grund av opålitliga sensorer eller felaktiga systemkomponenter. Vårt mål är att generera robusta styrenheter som är motståndskraftiga mot oväntade systemförändringar i drifttid, och tillräckligt flexibla för att anpassas om ytterligare begränsningar behöver införas. Vi utvecklar ett efterlåtet ramverk för syntes av controller, som genererar flera strategier för controllern och erbjuder ett urval av kontrollåtgärder att vidta vid varje steg. Vi formaliserar begreppet permissivitet med hjälp av påföljder, som uppstår varje gång en eventuell kontrollåtgärd inte tillåts av en multistrategi. Permissive controller syntes syftar till att generera en multi-strategi som minimerar dessa påföljder, samtidigt som man garanterar tillfredsställelsen av en specificerad system egendom. Vi etablerar flera viktiga resultat om optimaliteten av multi-strategier och komplexiteten i syntesen av dem. Sedan utvecklar vi metoder för att utföra permissive controller syntes med hjälp av blandade heltal linjär programmering och illustrera deras effektivitet på ett urval av fallstudier.
I REF studeras syntesen av multistrategier för MDP.
Permissive Controller Synthesis for Probabilistic Systems
{'venue': 'Logical Methods in Computer Science, Volume 11, Issue 2 (June 30, 2015) lmcs:1576', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}