Abstrakt. Hybridsystem kombinerar diskret och kontinuerlig dynamik. Vi introducerar en semantik för sådana system som består av en kolgebra tillsammans med en monoid handling. Den kolgebra fångar (diskreta) operationer på ett tillstånd utrymme som kan användas av en klient (som i semantik av vanliga (icke-temporella) objektorienterade system). Den monoida åtgärden fångar tidens insens på statsrymden, där monoiderna som vi anser är de naturliga talen monoid (N; 0; +) av diskret tid, och de positiva reals monoid (R 0 ; 0; +) i realtid. Baserat på denna semantik utvecklar vi en hybrid specication formalism med tidsinställda metod tillämpningar: det innebär uttryck som s:met@, med följande betydelse: i tillstånd s låt staten utvecklas för enheter av tid (enligt monoid åtgärder), och sedan tillämpa (kolgebraic) metod meth. I denna formalism specificerar vi olika (elementära) hybridsystem, undersöker deras korrekthet och visar deras beteende i simuleringar. Vi de ne ne en lämplig uppfattning om homomorfism mellan våra hybridmodeller (av kolgebras plus monoid åtgärder), på ett sådant sätt att minimala insikter (av det specifika beteendet) visas som terminal modeller. Vi identifierar terminalmodellerna för våra exempel, och ger allmänna konstruktioner. Detta leder till en undersökning av olika ämnen relaterade till terminalitet: bisimilaritet, beteende-realisation additions, re nement (med en myntduktiv bevismetod för korrekthet) och arv. I ett nal avsnitt vi brie y diskutera icke-homogena hybridsystem (med kontinuerliga ingångar).
Ungefär samtidigt föreslog Jacobs REF ett objektorienterat kolgebraiskt ramverk där hybridsystem betraktas som kolgebras utrustade med en monoid åtgärd: kolgebras definierar diskreta övergångar, och monoid åtgärder kontinuerliga evolutioner.
Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions
{'venue': 'Algebraic Methodology and Software Technology (AMAST', 'journal': None, 'mag_field_of_study': ['Computer Science']}