Abstract-I detta dokument undersöker vi kontrollen av oändliga system, modellerade av symboliska övergångssystem för säkerhetsegenskaper. Vi omdefinierar först begreppet kontrollbarhet genom att tillämpa det på vakterna för symboliska övergångar, i stället för på händelserna. Vi definierar sedan syntesalgoritmer baserade på symboliska omvandlingar och abstrakta tolkningstekniker så att vi kan säkerställa att beräkningarna är finita.
I REF föreslogs en metod för system som är modellerade av symboliska övergångssystem.
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation
{'venue': 'Proceedings of the 44th IEEE Conference on Decision and Control', 'journal': 'Proceedings of the 44th IEEE Conference on Decision and Control', 'mag_field_of_study': ['Computer Science']}