Hybrid Systems: Computation and Control
by Egerstedt, Magnus; Mishra, BudFormat: Paperback
Pub. Date: 2008-05-01
Publisher(s): Springer-Verlag New York Inc
Other versions by this Author
-
This Item Qualifies for Free Shipping!*
*Excludes marketplace orders.
List Price: $139.99
Rent Textbook
Select for Price
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This book constitutes the refereed proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, HSCC 2008, held in St. Louis, MO, USA, in April 2008.The 42 revised full papers and 20 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded, reactive systems involving the interplay between symbolic/switching and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems.
Table of Contents
| Markov Set-Chains as Abstractions of Stochastic Hybrid Systems | p. 1 |
| Co-simulation Tools for Networked Control Systems | p. 16 |
| On the Maximum Principle for Impulsive Hybrid Systems | p. 30 |
| Algebraic Identification of MIMO SARX Models | p. 43 |
| Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System | p. 58 |
| Controller Synthesis with Budget Constraints | p. 72 |
| Trading Infinite Memory for Uniform Randomness in Timed Games | p. 87 |
| Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components | p. 101 |
| Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions | p. 116 |
| A Control Lyapunov Approach to Predictive Control of Hybrid Systems | p. 130 |
| Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems | p. 144 |
| Anytime Control Algorithms for Embedded Real-Time Systems | p. 158 |
| Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems | p. 172 |
| A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata | p. 187 |
| Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | p. 201 |
| Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis | p. 215 |
| Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes | p. 229 |
| Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains | p. 244 |
| Observer-Based Control of Linear Complementarity Systems | p. 259 |
| Complementarity Systems in Constrained Steady-State Optimal Control | p. 273 |
| Dealing with Nondeterminism in Symbolic Control | p. 287 |
| Safety and Liveness in Intelligent Intersections | p. 301 |
| LTLC: Linear Temporal Logic for Control | p. 316 |
| Switched and PieceWise Nonlinear Hybrid System Identification | p. 330 |
| Verification of Supervisory Control Software Using State Proximity and Merging | p. 344 |
| Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements | p. 358 |
| Noncausal Optimal Tracking of Linear Switched Systems | p. 372 |
| Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems | p. 386 |
| A Decidable Class of Planar Linear Hybrid Systems | p. 401 |
| Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization | p. 415 |
| Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process | p. 429 |
| Distributed Lyapunov Functions in Analysis of Graph Models of Software | p. 443 |
| On the Optimality of Dubins Paths across Heterogeneous Terrain | p. 457 |
| Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems | p. 471 |
| Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata | p. 486 |
| Input-to-State Stabilization with Quantized Output Feedback | p. 500 |
| Bisimilar Finite Abstractions of Interconnected Systems | p. 514 |
| On Controllability of Timed Continuous Petri Nets | p. 528 |
| Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications | p. 542 |
| Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems | p. 556 |
| Composition of Motion Description Languages | p. 570 |
| On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems | p. 584 |
| Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps | p. 598 |
| On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries | p. 602 |
| Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems | p. 606 |
| Reachability Analysis of Stochastic Hybrid Systems by Optimal Control | p. 610 |
| An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems | p. 614 |
| d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata | p. 618 |
| Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems | p. 622 |
| Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time | p. 626 |
| Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics | p. 630 |
| Approximate Control Design for Solar Driven Sensor Nodes | p. 634 |
| Modular Development of Hybrid Systems for Verification in Coq | p. 638 |
| Steering a Leader-Follower Team Via Linear Consensus | p. 642 |
| Logical Verification and Systematic Parametric Analysis in Train Control | p. 646 |
| Information Theoretical Approach to Identification of Hybrid Systems | p. 650 |
| A Policy Iteration Technique for Time Elapse over Template Polyhedra (Extended Abstract) | p. 654 |
| Generating Box Invariants | p. 658 |
| Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles | p. 662 |
| Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates | p. 666 |
| On the Timing of Discrete Events in Event-Driven Control Systems | p. 670 |
| Decentralized Event-Triggered Broadcasts over Networked Control Systems | p. 674 |
| Author Index | p. 679 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.