Abstract-Många cyber-fysiska system omfattar flera styrapplikationer som delar kommunikations- och beräkningsresurser. Utformningen av sådana system kräver särskild uppmärksamhet på grund av den komplexa timing beteende som kan leda till dålig kontroll kvalitet eller till och med instabilitet. De två viktigaste kraven för kontrolltillämpningar är 1) robusthet och särskilt stabilitet och 2) hög kontrollkvalitet. Även om det är nödvändigt att garantera stabilitet och ge en viss grad av robusthet även i värsta fall, kan ett designförfarande som endast tar hänsyn till det värsta scenariot leda till en dålig förväntad (genomsnittlig) kontrollkvalitet, eftersom konstruktionen endast är anpassad till ett scenario som inträffar mycket sällan. Å andra sidan ger inte bara den förväntade kvaliteten på kontrollen nödvändigtvis stabilitet och stabilitet i värsta fall. Därför bör både robustheten och den förväntade kontrollkvaliteten beaktas i konstruktionsprocessen. I detta dokument presenteras ett effektivt och integrerat tillvägagångssätt för att utforma högkvalitativa cyberfysiska system med robusta garantier.
Senast, i REF, beaktas både kontrollkvaliteten (i genomsnitt) och kontrollens robusthet (i värsta fall) vid undersökning av provtagningsperioder, systemschemaläggning och kontrollsyntes.
Control-quality driven design of cyber-physical systems with robustness guarantees
{'venue': "DATE '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}