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

Hybrid Systems: Computation and Control

  • E-Book (pdf)
  • 684 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
Inhalt Invited Papers.- Coordinated Control for Highly Reconfigurable Systems.- Operational Semantics of Hybrid Systems.- SOS Meth... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 153.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



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 for Model 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.


Titel: Hybrid Systems: Computation and Control
Untertitel: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
EAN: 9783540319542
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 684
Veröffentlichung: 25.02.2005
Dateigrösse: 9.8 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"