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.

9783540672593

Hybrid Systems: Computation and Control : Third International Workshop, Hscc 2000, Pittsburgh, Pa, Usa, March 223-25, 2000 : Proceedings

by ; ;
  • ISBN13:

    9783540672593

  • ISBN10:

    3540672591

  • Format: Paperback
  • Copyright: 2000-03-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $129.00

Summary

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.

Table of Contents

Invited Presentations
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision
1(2)
Ken Butts
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software
3(1)
Nancy G. Leveson
Model-based Autonomous Systems for Robotic Space Exploration
4(1)
Brian Williams
Models of Computation and Simulation of Hybrid Systems
5(1)
Alberto Sangiovanni-Vincentelli
Selected Presentations
Modular Specification of Hybrid Systems in Charon
6(14)
Rajeev Alur
Radu Grosu
Yerang Hur
Vijay Kumar
Insup Lee
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
20(12)
Eugene Asarin
Thao Dang
Oded Maler
Olivier Bournez
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine
32(13)
Andrea Balluchi
Luca Benvenuti
Guido M. Miconi
Ugo Pozzi
Tiziano Villa
Maria D. Di Benedetto
Howard Wong-Toi
Alberto L. Sangiovanni-Vincentelli
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
45(14)
Alberto Bemporad
Fabio Danilo Torrisi
Manfred Morari
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
59(14)
Luca Beradi
Elena De Santis
Maria Domenica di Benedetto
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
73(16)
Oleg Botchkarev
Stavros Tripakis
Theory of Optimal Control Using Bisimulations
89(14)
Mireille Broucke
Maria D. Di Benedetto
Alberto Sangiovanni-Vincentelli
Stefano Di Gennaro
Behavior Based Robotics Using Hybrid Automata
103(14)
Magnus Egerstedt
Hybrid Controllers for Hierarchically Decomposed Systems
117(13)
Kagan Gokbayrak
Christos G. Cassandras
Beyond HyTech: Systems Analysis Using Interval Numerical Methods
130(15)
Thomas A. Henzinger
Benjamin Hororwitz
Rupak Majumdar
Howard Wong-Toi
Robust Undecidability of Timed and Hybrid Systems
145(15)
Thomas A. Henzinger
Jean-Francois Raskin
Towards a Theory of Stochastic Hybrid Systems
160(14)
Jianghai Hu
John Lygeros
Shankar Sastry
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications
174(14)
Eric Klavins
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
188(14)
Xenofon D. Koutsoukos
Panos J. Antsaklis
Ellipsoidal Techniques for Reachability Analysis
202(13)
Alexander B. Kurzhanski
Pravin Varaiya
Uniform Reachability Algorithms
215(14)
Gerardo Lafferriere
Chris Miller
On the Existence of Solutions to Controlled Hybrid Automata
229(14)
Michael Lemmon
Nonlinear Stabilization by Hybrid Quanitzed Feedback
243(15)
Daniel Liberzon
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations
258(14)
Jan Lunze
Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems
272(10)
Alexey S. Matveev
Andrey V. Savkin
Hybrid Systems Diagnosis
282(14)
Sheila McIlraith
Gautam Biswas
Dan Clancy
Vineet Gupta
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
296(14)
Joseph S. Miller
Level Set Methods for Computation in Hybrid Systems
310(14)
Ian Mitchell
Claire J. Tomlin
Towards Procedures for Systematically Deriving Hybrid Models of Complex systems
324(14)
Pieter J. Mosterman
Gautam Biswas
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
338(14)
Peter Niebert
Sergio Yovine
Hybrid Systems Verification by Location Elimination
352(14)
Andreas Nonnengart
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
366(15)
Vladimir Pavlovic
James M. Rehg
Tat-Jen Cham
Stability of Hybrid Systems Using LMIs - A Gear-Box Application
381(15)
Stefan Petterson
Bengt Lennartson
Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties
396(11)
Jacob Roll
Decidable Controller Synthesis for Classes of Linear Systems
407(14)
Omid Shakernia
Shankar Sastry
George J. Pappas
Towards a Geometric Theory of Hybrid Systems
421(16)
Slobodan N. Simic
Karl Henrik Johansson
Shankar Sastry
John Lygeros
Controlled Invariance of Discrete Time Systems
437(14)
Rene Vidal
Shawn Schaffert
John Lygeros
Shankar Sastry
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
451(14)
Jun Zhang
Karl Henrik Johansson
John Lygeros
Shankar Sastry
Author Index 465

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