Abstract-This paper presenterar en metod som underlättar utformningen av den operativa arkitekturen i ett styrsystem genom att, från kunskap om vissa egenskaper hos de funktioner som kontrollsystemet måste säkerställa och en generisk modell av controller, en tilldelning lösning av dessa funktioner som uppfyller kapacitet och distribution begränsningar. Denna metod bygger på verifiering av en nåbarhetsfastighet på ett nätverk för att kommunicera automata som modellerar tilldelningsprocessen. Fördelarna med detta förslag illustreras av en icke-trivial fallstudie från industrin.
Lemattre m.fl. REF föreslår en teknik som bygger på verifiering av en nåbarhetsfastighet på ett nätverk för att kommunicera automata för att modellera tilldelningsproblemet.
Designing operational control architectures of critical systems by reachability analysis
{'venue': '2011 IEEE International Conference on Automation Science and Engineering', 'journal': '2011 IEEE International Conference on Automation Science and Engineering', 'mag_field_of_study': ['Mathematics', 'Computer Science']}