• 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% studentrabatt med kod TERM26

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

    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

      8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

      AvManfred Morari,Lothar Thiele

      Häftad, Engelska, 2005

      Del i serien Lecture Notes in Computer Science

      1 124 kr

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

      Beskrivning

      This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich,Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), and Philad- phia, USA (2004). This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for anexcellentjobofevaluatingthesubmissionsandparticipatingintheonlineP- gram Committee discussions.Special thanks go to Markus P. J. Fromherz (Palo Alto Research Center, USA), Edward A. Lee (University of California, Berkeley, USA), and Pablo A. Parrilo (Massachusetts Institute of Technology, USA) for their participation as invited speakers. We are also grateful to the Steering C- mitteeforhelpfulguidanceandsupport. Manyotherpeopleworkedhardtomake the HSCC 2005 a success. We would like to thank Frank J. Christophersen and Ernesto Wandeler, the Publicity Chairs (with the help of Urban M.. ader); M- tine D'Emma and Monica Fricker for local arrangements; and Frank J. Chris- phersen for putting together the proceedings.

      Produktinformation

      • Utgivningsdatum:2005-03-04
      • Mått:155 x 235 x 38 mm
      • Vikt:1 048 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:684
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540251088

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • Invited Papers.- Coordinated Control for Highly Reconfigurable Systems.- Operational Semantics of Hybrid Systems.- SOS Methods for Semi-algebraic Games and Optimization.- Regular Papers.- The Discrete Time Behavior of Lazy Linear Hybrid Automata.- Perturbed Timed Automata.- A Homology Theory for Hybrid Systems: Hybrid Homology.- Observability of Switched Linear Systems in Continuous Time.- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains.- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli.- Optimal Control of Discrete Hybrid Stochastic Automata.- Hybrid Decentralized Control of Large Scale Systems.- On the Stabilisation of Switching Electrical Power Converters.- Bisimulation for General Stochastic Hybrid Systems.- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction.- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.- Refining Abstractions of Hybrid Systems Using Counterexample Fragments.- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility.- Reachability of Uncertain Linear Systems Using Zonotopes.- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.- Polynomial Stochastic Hybrid Systems.- Non-uniqueness in Reverse Time of Hybrid System Trajectories.- Comparison of Four Procedures for the Identification of Hybrid Systems.- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.- Mode-Automata Based Methodology for Scade.- Taylor Approximation for Hybrid Systems.- Infinity Norms as Lyapunov Functions forModel Predictive Control of Constrained PWA Systems.- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation.- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties.- Learning Multi-modal Control Programs.- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems.- On Transfinite Hybrid Automata.- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration.- Interchange Formats for Hybrid Systems: Review and Proposal.- Primal–Dual Tests for Safety and Reachability.- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.- Generating Polynomial Invariants for Hybrid Systems.- Modeling, Optimization and Computation for Software Verification.- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).- Sensor/Actuator Abstractions for Symbolic Embedded Control Design.- Modeling and Control of Networked Control Systems with Random Delays.- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.
      Hoppa över listan

      Du kanske också är intresserad av

      Francesca Rossi, Lothar Thiele, Manfred Morari - Hybrid Systems: Computation and Control, E-bok

      Hybrid Systems: Computation and Control

      Francesca Rossi, Lothar Thiele, Manfred Morari

      E-bok
      2005

      1 455 kr

      Manfred Morari, David M. Prett - Shell Process Control Workshop, E-bok

      Shell Process Control Workshop

      Manfred Morari, David M. Prett

      E-bok
      2013

      781 kr

      Manfred Morari, Alberto Bemporad, Francesco Borrelli - Predictive Control for Linear and Hybrid Systems, E-bok

      Predictive Control for Linear and Hybrid Systems

      Manfred Morari, Alberto Bemporad, Francesco Borrelli

      E-bok
      2017

      997 kr

      Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele - Abstract State Machines - Theory and Applications, Häftad

      Abstract State Machines - Theory and Applications

      Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

      Häftad, 2000

      566 kr

      Francesco Borrelli, Alberto Bemporad, Manfred Morari - Predictive Control for Linear and Hybrid Systems, Inbunden

      Predictive Control for Linear and Hybrid Systems

      Francesco Borrelli, Alberto Bemporad, Manfred Morari

      Inbunden, 2017

      1 743 kr

      Manfred Morari, Alberto Bemporad, Francesco Borrelli - Predictive Control for Linear and Hybrid Systems, E-bok

      Predictive Control for Linear and Hybrid Systems

      Manfred Morari, Alberto Bemporad, Francesco Borrelli

      E-bok
      2017

      994 kr

      Lothar Thiele, Martin Odersky, Philipp W. Kutter, Yuri Gurevich - Abstract State Machines - Theory and Applications, E-bok

      Abstract State Machines - Theory and Applications

      Lothar Thiele, Martin Odersky, Philipp W. Kutter, Yuri Gurevich

      E-bok
      2003

      732 kr

      Lothar Thiele, Kalyanmoy Deb, Eckart Zitzler, Peter J. Fleming, Carlos M. Fonseca - Evolutionary Multi-Criterion Optimization, E-bok

      Evolutionary Multi-Criterion Optimization

      Lothar Thiele, Kalyanmoy Deb, Eckart Zitzler, Peter J. Fleming, Carlos M. Fonseca

      E-bok
      2003

      2 833 kr

      Francesco Borrelli, Alberto Bemporad, Manfred Morari - Predictive Control for Linear and Hybrid Systems, Häftad

      Predictive Control for Linear and Hybrid Systems

      Francesco Borrelli, Alberto Bemporad, Manfred Morari

      Häftad, 2017

      840 kr

      David Corne, Carlos Coello Coello, Lothar Thiele, Kalyanmoy Deb, Eckart Zitzler - Evolutionary Multi-Criterion Optimization, E-bok

      Evolutionary Multi-Criterion Optimization

      David Corne, Carlos Coello Coello, Lothar Thiele, Kalyanmoy Deb, Eckart Zitzler

      E-bok
      2003

      1 413 kr