Abstract-This paper överbryggar framstegen inom datavetenskap och kontroll för att möjliggöra automatisk syntes av kontrollstrategier för komplexa dynamiska system som garanteras, genom konstruktion, för att tillfredsställa de önskade egenskaperna även i närvaro av motståndare. De önskade egenskaperna uttrycks i temporallogikens språk. Med sin uttryckskraft kan en bredare klass av egenskaper än säkerhet och stabilitet specificeras. Det resulterande systemet består av en diskret planerare som i den abstrakta diskreta domänen planerar en uppsättning övergångar av systemet för att säkerställa rätt beteenden och en kontinuerlig controller som kontinuerligt genomför planen. För att ta itu med de beräkningssvårigheter i syntesen av en diskret planerare, presenterar vi en minskande horisont baserad system för att utföra ändlig stat automata som i huvudsak minskar syntesproblemet till en uppsättning mindre problem.
En automatisk syntes av kontrollstrategier för komplexa dynamiska system presenteras i Wongpiromsarn et al. Hoppa över det.
Receding horizon temporal logic planning for dynamical systems
{'venue': 'Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference', 'journal': 'Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference', 'mag_field_of_study': ['Computer Science']}