Abstract-Monotone system är vanliga i modeller av tekniska applikationer såsom transport och biologiska nätverk. I detta dokument undersöker vi problemet med att hitta en kontrollstrategi för ett diskret tidspositivt monotont system med begränsade osäkerheter så att systemets utveckling garanterat kommer att begränsas till en säker uppsättning i tillståndsutrymmet för alla tider. Genom att utnyttja monotonitet föreslår vi en strategi för detta problem som bygger på begränsad programplanering. Vi hittar kontrollstrategier som är baserade på upprepningar av ändliga sekvenser av kontrollåtgärder. Vi visar att säkerhetskontrollen av monotonsystem inte kräver tillståndsmätning enligt de antaganden som görs i dokumentet. Vi demonstrerar resultaten på ett signalerat stadstrafiknät, där säkerhetsmålet är att hålla trafikflödet fritt från trafikstockningar.
Detta dokument är en förlängning av vårt konferensdokument REF, där vi studerade säkerhetskontroll av positiva monotona system.
Safety control of monotone systems with bounded uncertainties
{'venue': '2016 IEEE 55th Conference on Decision and Control (CDC)', 'journal': '2016 IEEE 55th Conference on Decision and Control (CDC)', 'mag_field_of_study': ['Computer Science', 'Mathematics']}