Willkommen, schön sind Sie da!
Logo Ex Libris

Hybrid Systems: Computation and Control

  • E-Book (pdf)
  • 465 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HS... Weiterlesen
CHF 126.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC 2000, held in Pittsburgh, PA, USA in March 2000. The 32 revised full papers presented together with abstracts of four invited talks were carefully reviewed and selected from a total of 71 papers submitted. The focus of the works presented is on modeling, control, synthesis, design and verification of hybrid systems. Among the application areas covered are control of electromechanical systems, air traffic control, control of automated freeways, and chemical process control.



Inhalt

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.

Produktinformationen

Titel: Hybrid Systems: Computation and Control
Untertitel: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Editor:
EAN: 9783540464303
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 28.10.2007
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 465

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"