Abstract-This paper föreslår ett tillvägagångssätt för kontroll av diskreta system med ofullständig information och avkänningskapacitet, med hänsyn till tidslogiska begränsningar. Metoden introducerar aktiv avkänning för att minska beräkningsansträngningen i kontrolldesignen för system som interagerar med okontrollerbara miljöer under ofullständig information. Särskilt omvandlar det en deterministisk controller under fullständig information till en randomiserad, observationsbaserad controller. Att förmedla de senare med strategiska frågor till sensorer, den temporal logik specifikationen har visat sig vara nöjd nästan säkert. Metodens effektivitet visas med exempel på robotisk rörelseplanering. Index Terms-Active avkänning, beräkningsspel teori, kontroll, formella metoder, temporal logik.
Syntetiseringen av gemensamma styr- och avkänningsstrategier för diskreta system med ofullständig information och avkänning presenteras i REF.
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
{'venue': 'IEEE Transactions on Automatic Control', 'journal': 'IEEE Transactions on Automatic Control', 'mag_field_of_study': ['Computer Science']}