Algebraic calculi for hybrid systems [Elektronische Ressource] / Peter Höfner

ofHoenwtodtheohyhaougginsgoI)on,mend.whenthatindeep,yeourF.heartLordyIouMembMothereginSometourtsunderstandgo.o..thattherevistaknohold.goingBabac(Thek.ofThereRingsareIsomeInthingsorythatmytimecannotSystemsAlgebraicHybridCalculiforoglerReferees:Dr.Prof.Defense:Dr.alterBernhardyM?ller3,Prof.WDr.VGunDatherofScJulyhmidt2009Prof.UniversityAlgebraicgCalculiAforH?fnerHybridofSystemsugsburPeterInBibliograsc@heabrufbar.InformationoksderhDeutscPhenundNationalbibliothekbH,Die?bDeutscb.d-nheNationalbibliotheH?fnerkner-online.deverlagerzeiDemandcISBN:hnetternetdieresettp://dnPublikb.deationci2009neterderpeterDeutschoefhenHerstellungNationalbibliograe;VdetaillierteBobibliograsconheGmDatenNorderstedtsind978-3-8391-2510-6im.Con.ten3ts.Pream.ble.1.1.In.tro.duction.5.1.1.Motiv.ation..3.6.55.......Kleene...38...3.3.......T.........T...4.2...osing.....its.........Algebra....5.1.2AlgebraHybrid.Systems..3.4...................domain.......Hybrid.del.......Hybrid.......lgebraically.........Algebra.37..7.1.3.Kleene.and.Omega.Algebras....Relaxing...............in.............Prop..............10491.4.Con.tribution.and.Organisation............and...............Algebra.61.jectory-Based............13.2bHybrid.Systems..A.Short.In.tro4.3duSystemsct.ion.15.2.1.An.In.tro.ductory.E29xamplKleeneeand.Extensions.3.1.Algebras...............................3.2.Kleene..........15.2.2.Basic.Concepts..........41.Automation.Kleene.......................47.Basic.erties....................18.2.3.