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

Hybrid Systems V

  • E-Book (pdf)
  • 458 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame,... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 106.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


This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.


Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems.- Controller Scheduling Using Neural Networks: Implementation and Experimental Results.- Rigorous Design of a Fault Diagnosis and Isolation Algorithm.- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems.- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.- Hybrid Systems with Finite Bisimulations.- Extracting Stable Timed Automata from Switched Model Reference Systems.- Sliding Mode Model Semantics and Simulation for Hybrid Systems.- Time-Deterministic Hybrid Transition Systems.- Heuristic Optimization and Dynamical System Safety Verification.- A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems.- Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control.- Action Systems with Continuous Behaviour.- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.- Optimal Controller Switching for Stochastic Systems.- Robust Control of Hybrid Systems: Performance Guided Strategies.- Analysis of Slope-Parametric Rectangular Automata.- Control of Interval Temporal Systems.- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.


Titel: Hybrid Systems V
EAN: 9783540491637
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 31.07.2003
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 100.79 MB
Anzahl Seiten: 458

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

Band 1567
Sie sind hier.