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

Publié par

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.
Publié le : jeudi 1 janvier 2009
Lecture(s) : 19
Tags :
Source : D-NB.INFO/1000477002/34
Nombre de pages : 216
Voir plus Voir moins

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.More.Examples....3.5.ests.....................................53.Domain.Co..............21.2.4.Comp.osing.Hybrid.Systems....4.of.Systems.4.1.ra.Mo...........................61.Em.edding.Automata24.2.5.Railw.a.y.Constructions............70.Comp.Hybrid.A.................73..CONTENTS.4.4.ZenotEects..........List.....F.......159.......An...on.........Lazy.....Pro...B.........Con77Index4.5.Safet.yScand.Liv.eness....................140.3...................es.Prop.......Pro......85.4.675SpListecic.ations......130.bly.............7.7.1.................139.W.................Automation.Algebras96T5sLogics.for.Hybrid.Systems.101.5.1.Logics.and.HybridA.2Systems................Prop.Pro.A...............B.2............101.5.2.MoCdellDetailsingyCTLFiguresFiguresAlgebraicallyx.................6.3.Assem.Line.heduler......................1041355.3ConclusiMo139dellSummarying.Neig.h.b.ourho.o.d.Logic.Algebraically..................7.2.uture.ork......110.5.4.Semiring.Neigh.b.ours................A.in.Kleene.14.A.1.empla.e............................118.5.5.Applying.Algebraic143SemanAutomatedticsofsto.Hybrid.Systems........................146124Deferred6ertiCaseandStudiesofs127B.16.1dditionalAlgebraicertiesRailw.a.y.Constructions....................159.Deferred.ofs..................127.6.2.Route.Planning......161.Gate.troller.1.Bibliograph.183.of.200.of.201.202..

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.