Vi föreslår en ny hybridautomatmodell som kan beskriva både kontinuerligt och diskret beteende. Modellen, som utökar den tidsinställda automaton modellen av [33, 42] och fas övergångssystem modeller av [36, 2], möjliggör kommunikation mellan komponenter med hjälp av både delade variabler och delade åtgärder. De viktigaste bidragen i detta dokument är: 1) en definition av hybrida automata och ett genomförandeförhållande baserat på hybridspår, 2) en definition av en simulering mellan hybrida automata och ett bevis på att förekomsten av en simulering innebär ett genomförandeförhållande, 3) en definition av sammansättning och döljande verksamhet på hybrida automata och ett bevis på att dessa verksamheter respekterar genomförandeförhållandet, 4) en definition av hybrid I/O automata, som specialiserar hybrida automata genom en ytterligare åtskillnad mellan input och output, och ett bevis på att resultaten av simuleringssamband, sammansättning och gömställen för över till denna nya inställning, och (5) en definition av mottaglighet för hybrid I/O automata och ett bevis på att, förutsatt att vissa kompatibilitetsvillkor, mottaglighet bevaras genom sammansättning.
Hybrid I/O automata REF utökar hybridautomata med en uppfattning om yttre beteende.
Hybrid I/O Automata
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}