Hybrid Systems: Computation And Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland, March 9-11, 20 by Manfred MorariHybrid Systems: Computation And Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland, March 9-11, 20 by Manfred Morari

Hybrid Systems: Computation And Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland…

byManfred MorariEditorLothar Thiele, Francesca Rossi

Paperback | March 4, 2005

Pricing and Purchase Info

$182.83 online 
$220.95 list price save 17%
Earn 914 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

proceedings.
Title:Hybrid Systems: Computation And Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland…Format:PaperbackDimensions:684 pages, 23.5 × 15.5 × 0.17 inPublished:March 4, 2005Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540251081

ISBN - 13:9783540251088

Look for similar items by category:

Reviews

Table of Contents

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.