did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540433217

Hybrid Systems: Computation and Control : 5th International Workshop, Hscc 2002 Stanford, Ca, Usa, March 25-27, 2002 : Proceedings

by ;
  • ISBN13:

    9783540433217

  • ISBN10:

    354043321X

  • Format: Paperback
  • Copyright: 2002-04-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $129.00 Save up to $110.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.

Table of Contents

Abstracts of Invited Presentations
Hybrid and Embedded Software Technologies for Production Large-Scale Systems
1(2)
David Sharp
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints
3(2)
Uri M. Ascher
From Models to Code: The Missing Link in Embedded Software
5(2)
Thomas A. Henzinger
Papers
Hybrid System Models of Navigation Strategies for Games and Animations
7(14)
Eric Aaron
Franjo Ivancic
Dimitris Metaxas
Hybrid Control of a Truck and Trailer Vehicle
21(14)
Claudio Altafini
Alberto Speranzon
Karl Henrik Johansson
Reachability Analysis of Hybrid Systems via Predicate Abstraction
35(14)
Rajeev Alur
Thao Dang
Franjo Ivancic
Towards Computing Phase Portraits of Polygonal Differential Inclusions
49(13)
Eugene Asarin
Gerardo Schneider
Sergio Yovine
Dynamical Qualitative Analysis of Evolutionary Systems
62(14)
Jean-Pierre Aubin
Olivier Dordan
Design of Observers for Hybrid Systems
76(14)
Andrea Balluchi
Lucca Benvenuti
Maria D. Di Benedetto
Alberto L. Sangiovanni-Vincentelli
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques
90(15)
Alexandre M. Bayen
Eva Cruck
Claire J. Tomlin
On the Optimal Control Law for Linear Discrete Time Hybrid Systems
105(15)
Alberto Bemporad
Francesco Borrelli
Manfred Morari
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
120(14)
Michael S. Branicky
Siddharth R. Chhatpar
A Comparison of Control Problems for Timed and Hybrid Systems
134(15)
Franck Cassez
Thomas A. Henzinger
Jean-Francois Raskin
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
149(15)
J.M. Davoren
T. Moor
A. Nerode
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
164(15)
Nael H. El-Farra
Panagiotis D. Christofides
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density
179(15)
Nicola Elia
Emilio Frazzoli
Analysis of Discrete-Time PWA Systems with Logic States
194(15)
Giancarlo Ferrari-Trecate
Francesco A. Cuzzola
Manfred Morari
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
209(16)
Giancarlo Ferrari-Trecate
Eduardo Galdestey
Paolo Letizia
Matteo Spedicato
Manfred Morari
Marc Antoine
Exploiting Implicit R.epresentations in Timed Automaton Verification for Controller Synthesis
225(14)
Robert P. Goldman
David J. Musliner
Michael J.S. Pelican
Computation of Root-Mean-Square Gains of Switched Linear Systems
239(14)
Joao P. Hespanha
Mode Estimation of Probabilistic Hybrid Systems
253(14)
Michael W. Hofbaur
Brian C. Williams
Symmetry Reduction of a Class of Hybrid Systems
267(14)
Jianghai Hu
Shankar Sastry
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
281(13)
T. John Koo
Shankar Sastry
Qualitative Modeling and Heterogeneous Control of Global System Behavior
294(14)
Benjamin Kuipers
Snbramanian Ramamoorthy
An Approach to Model-Based Diagnosis of Hybrid Systems
308(15)
Sriram Narasimhan
Gautam Biswas
Information-Based Alpha-Beta Search and the Homicidal Chauffeur
323(14)
Todd W. Neller
Synthesis of Robust Control Systems under Resource Constraints
337(14)
Luigi Palopoli
Claudio Pinello
Alberto Sangiovanni Vincentelli
Laurent Elghaoui
Antonio Bicchi
Optimal Control of Quantized Input Systems
351(13)
Stefania Pancanti
Laura Leonardi
Lucia Pallottino
Antonio Bicchi
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems
364(14)
Tal Pasternak
Hybrid Kernels and Capture Basins for Impulse Constrained Systems
378(15)
Patrick Saint-Pierre
Ordered Upwind Methods for Hybrid Control
393(14)
James A. Sethian
Alexander Vladimirsky
Discrete-Time Refinement of Hybrid Automata
407(14)
Thomas Stauner
Control of Switched Hybrid Systems Based on Disjunctive Formulations
421(15)
Olaf Stursberg
Sebastsan Panek
Composing Abstractions of Hybrid Systems
436(15)
Paulo Tabuada
George J. Pappas
Pedro Lima
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach
451(14)
Xiaobo Tan
John S. Baras
Series of Abstractions for Hybrid Automata
465(14)
Ashish Tiwari
Gaurav Khanna
Author Index 479

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program