Hybrid Systems: Computation and Control : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings

Language: English

Published by Springer, 2000

3540672591 / 9783540672593

  • Softcover
  • New
See all details

Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

5-star seller

AbeBooks seller since August 14, 2006

Softcover

Condition: New

US$ 76.78

US$ 39.29 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Druck auf Anfrage Neuware - Printed after ordering - Invited Presentations.- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.- Model-Based Autonomous Systems for Robotic Space Exploration.- Models of Computation and Simulation of Hybrid Systems.- Selected Presentations.- Modular Specification of Hybrid Systems in Charon.- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems.- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.- Theory of Optimal Control Using Bisimulations.- Behavior Based Robotics Using Hybrid Automata.- Hybrid Controllers for Hierarchically Decomposed Systems.- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.- Robust Undecidability of Timed and Hybrid Systems.- Towards a Theory of Stochastic Hybrid Systems.- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications.- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System.- Ellipsoidal Techniques for Reachability Analysis.- Uniform Reachability Algorithms.- On the Existence of Solutions to Controlled Hybrid Automata.- Nonlinear Stabilization by Hybrid Quantized Feedback.- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations.- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems.- Hybrid Systems Diagnosis.- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.- Level Set Methods for Computation in Hybrid Systems.- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.- Hybrid Systems Verification by Location Elimination.- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models.- Stability of Hybrid Systems Using LMIs - A Gear-Box Application.- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties.- Decidable Controller Synthesis for Classes of Linear Systems.- Towards a Geometric Theory of Hybrid Systems.- Controlled Invariance of Discrete Time Systems.- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions.…

Seller Inventory # 9783540672593

Title
Hybrid Systems: Computation and Control : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Author
Bruce Krogh
Publisher
Springer
Publication year
2000
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3540672591
ISBN 13
9783540672593
Item weight
733 grams
Dimensions
235x155x27 mm

AHA-BUCH GmbH

Einbeck, Germany

5-star seller

AbeBooks seller since August 14, 2006

Shipping rates from Germany to U.S.A.

Item7 to 10 business days5 to 7 business days
First itemUS$ 39.29US$ 50.52
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Specialty

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Seller's business information

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Germany 37574