Vi föreslår en algebraisk modell för hybridsystem och illustrerar dess användbarhet genom att visa teorem i realisationsteorin med hjälp av denna synpunkt. Med hybridsystem menar vi en samling av kontinuerliga ickelinjära styrsystem i samband med en diskret ändlig statautomaton. Automaten växlar mellan de kontinuerliga styrsystemen, och denna omkoppling är en funktion av de diskreta inmatningssymboler som den tar emot.
Specifikt ger REF en rent algebraisk bild av förverkligande där bytet är en funktion av diskreta inmatningssymboler.
An Algebraic Approach to Hybrid Systems
{'venue': 'Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}