Uppaal tiga UPPAAL TIGA is een uitbreiding van Uppaal en het implementeert het eerste efficiënte algoritme voor on-the-fly voor het oplossen van spellen.
Download nu

Uppaal tiga Rangschikking & Samenvatting

Uppaal tiga Tags

Uppaal oplossen Solving games opdrachtregelverificatie on-the-fly algoritme Tiga

Uppaal tiga Beschrijving

Uppaal Tiga is een uitbreiding van Uppaal en het implementeert het eerste efficiënte on-the-fly-algoritme voor het oplossen van games. UPPAAL TIGA is een uitbreiding van Uppaal en het implementeert het eerste efficiënte on-the-fly-algoritme voor het oplossen van games op basis van getimede game automaat met betrekking tot bereikbaarheid en veiligheidseigenschappen. Hoewel de timed games daar al lang bekend zijn Is tot nu toe een gebrek aan efficiënte en werkelijk on-the-fly-algoritmen voor hun analyse.UPPAAL TIGA biedt een gebruiksvriendelijke grafische interface met de bijbehorende server en een opdrachtregelverifier.Het algoritme Wij voorstellen is een symbolisch Uitbreiding van het on-the-fly-algoritme voorgesteld door Liu en Smolka voor lineaire modelcontrole van eindige-staatsystemen. On-the-fly zijn, kan het symbolische algoritme lang beëindigen voordat het de gehele staat-ruimte heeft onderzocht. Ook de individuele stappen van het algoritme worden efficiënt uitgevoerd door het gebruik van zogenaamde zones als de onderliggende datastructuur. Ons gereedschap implementeert verschillende optimalisaties van het basissymbolische algoritme, evenals methoden voor het verkrijgen van tijd-optimale winnende strategieën (voor bereikbaarheidsspellen). Wat is nieuw in deze release: · Deze versie fixeert twee grote bugs: Verkeerde antwoorden (en strategieën) werden gegeven Voor sommige gevallen met vertragingen, en de simulator heeft niet goed aangesloten op dringende en gecommitteerde staten.

Uppaal tiga Gerelateerde software