Hybrid Systems: Computation and Control

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Hybrid and Embedded Software Technologies for Production Large-Scale Systems
3. Altmetric Badge
   Chapter 2 Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints
4. Altmetric Badge
   Chapter 3 From Models to Code: The Missing Link in Embedded Software
5. Altmetric Badge
   Chapter 4 Hybrid System Models of Navigation Strategies for Games and Animations
6. Altmetric Badge
   Chapter 5 Hybrid Control of a Truck and Trailer Vehicle
7. Altmetric Badge
   Chapter 6 Reachability Analysis of Hybrid Systems via Predicate Abstraction
8. Altmetric Badge
   Chapter 7 Towards Computing Phase Portraits of Polygonal Differential Inclusions
9. Altmetric Badge
   Chapter 8 Dynamical Qualitative Analysis of Evolutionary Systems
10. Altmetric Badge
    Chapter 9 Design of Observers for Hybrid Systems
11. Altmetric Badge
    Chapter 10 Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques
12. Altmetric Badge
    Chapter 11 On the Optimal Control Law for Linear Discrete Time Hybrid Systems
13. Altmetric Badge
    Chapter 12 A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
14. Altmetric Badge
    Chapter 13 A Comparison of Control Problems for Timed and Hybrid Systems
15. Altmetric Badge
    Chapter 14 Hybrid Control Loops, A/D Maps, and Dynamic Specifications
16. Altmetric Badge
    Chapter 15 Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
17. Altmetric Badge
    Chapter 16 Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density
18. Altmetric Badge
    Chapter 17 Analysis of Discrete-Time PWA Systems with Logic States
19. Altmetric Badge
    Chapter 18 Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
20. Altmetric Badge
    Chapter 19 Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
21. Altmetric Badge
    Chapter 20 Computation of Root-Mean-Square Gains of Switched Linear Systems
22. Altmetric Badge
    Chapter 21 Mode Estimation of Probabilistic Hybrid Systems
23. Altmetric Badge
    Chapter 22 Symmetry Reduction of a Class of Hybrid Systems
24. Altmetric Badge
    Chapter 23 Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
25. Altmetric Badge
    Chapter 24 Qualitative Modeling and Heterogeneous Control of Global System Behavior
26. Altmetric Badge
    Chapter 25 An Approach to Model-Based Diagnosis of Hybrid Systems
27. Altmetric Badge
    Chapter 26 Information-Based Alpha-Beta Search and the Homicidal Chau.eur
28. Altmetric Badge
    Chapter 27 Synthesis of Robust Control Systems under Resource Constraints
29. Altmetric Badge
    Chapter 28 Optimal Control of Quantized Input Systems
30. Altmetric Badge
    Chapter 29 Reconfiguration in Hierarchical Control of Piecewise-Affine Systems
31. Altmetric Badge
    Chapter 30 Hybrid Kernels and Capture Basins for Impulse Constrained Systems
32. Altmetric Badge
    Chapter 31 Ordered Upwind Methods for Hybrid Control
33. Altmetric Badge
    Chapter 32 Discrete-Time Refinement of Hybrid Automata
34. Altmetric Badge
    Chapter 33 Control of Switched Hybrid Systems Based on Disjunctive Formulations
35. Altmetric Badge
    Chapter 34 Composing Abstractions of Hybrid Systems
36. Altmetric Badge
    Chapter 35 Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach
37. Altmetric Badge
    Chapter 36 Series of Abstractions for Hybrid Automata