Abstrakt. Vi föreslår användning av formella språk av oändliga ord över alfabetet av uppgift identifierare som ett gränssnitt mellan kontroll design och programimplementeringar. Vi hävdar att detta tillvägagångssätt är mer flexibelt än det klassiska schemaläggningsramverket i realtid baserat på periodiska uppgifter, och tillåter sammansättning av gränssnitt genom språkteoretiska operationer. Vi visar att ändlig automat över oändliga ord erbjuder analyzable representation och kan fånga många intressanta gränssnitt specifikationer såsom exponentiellt stabilitet switchade linjära system.
Deras arbete visar att ändlig automata ger analytiska representationer av programimplementeringar och kan hjälpa till att fånga intressanta specifikationer av bytte linjära system REF.
Automata Based Interfaces for Control and Scheduling
{'venue': 'HSCC', 'journal': None, 'mag_field_of_study': ['Computer Science']}