• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Hybrid Systems: Computation and Control

    9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings

    AvJoao Hespanha,Ashish Tiwari

    Häftad, Engelska, 2006

    Del i serien Lecture Notes in Computer Science

    1 117 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.

    Produktinformation

    • Utgivningsdatum:2006-03-20
    • Mått:155 x 235 x undefined mm
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:584
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540331704

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • Invited Talks.- Motion Coordination for Multi-agent Networks.- Towards a Third Generation of Control Systems.- Hybrid Systems—And Everything Else.- Regular Papers.- Behavioural Approximations for Restricted Linear Differential Hybrid Automata.- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.- On the Stability of Zeno Equilibria.- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.- Output-Based Optimal Timing Control of Switched Systems.- Hybrid Modelling and Control of the Common Rail Injection System.- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata.- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets.- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation.- Approximate Reachability Computation for Polynomial Systems.- A Lattice Theory for Solving Games of Imperfect Information.- Observability of Hybrid Automata by Abstraction.- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks.- Decision Problems for the Verification of Real-Time Software.- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition.- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.- Verification Using Simulation.- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.- Approximate Abstraction of Stochastic HybridAutomata.- A Fully Automated Framework for Control of Linear Systems from LTL Specifications.- Reachability Analysis of Multi-affine Systems.- Approximation, Sampling and Voting in Hybrid Computing Systems.- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.- Estimation and Conflict Detection in Human Controlled Systems.- Stability Analysis of Hybrid Systems Via Small-Gain Theorems.- Stochastic Hybrid Delay Population Dynamics.- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback.- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.- Verifying Average Dwell Time by Solving Optimization Problems.- Interchange Format for Hybrid Systems: Abstract Semantics.- Model Checking of Hybrid Systems: From Reachability Towards Stability.- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems.- Fixed Point Iteration for Computing the Time Elapse Operator.- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks.- Beyond Zeno: Get on with It!.