Abstract-Several styrsystem i säkerhetskritiska applikationer innebär samverkan mellan en autonom styrenhet och en eller flera mänskliga operatörer. Exempel är piloter som interagerar med ett autopilotsystem i ett flygplan och en förare som interagerar med automatiska förarassistansfunktioner i en bil. Korrektheten i sådana system beror inte bara på den autonoma regulatorn, utan också på den mänskliga regulatorns handlingar. I detta dokument presenterar vi en formalism för kontrollsystemen i det mänskliga kretsloppet. Särskilt fokuserar vi på problemet med att syntetisera en semi-autonom regulator från hög nivå tidsspecifikationer som förväntar sig enstaka mänskliga ingrepp för korrekt drift. Vi presenterar en algoritm för detta problem, och visar dess funktion på problem relaterade till förarassistans i bilar.
Löjtnant m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m för m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m. REF fokuserade på problemet med att syntetisera en semiautonom kontrollant som förväntar sig enstaka mänskliga ingrepp för korrekt drift.
Synthesis for Human-in-the-Loop Control Systems
{'venue': 'TACAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}