Hybrid Systems: Computation and Control

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Motion Coordination for Multi-agent Networks
3. Altmetric Badge
   Chapter 2 Towards a Third Generation of Control Systems
4. Altmetric Badge
   Chapter 3 Hybrid Systems—And Everything Else
5. Altmetric Badge
   Chapter 4 Behavioural Approximations for Restricted Linear Differential Hybrid Automata
6. Altmetric Badge
   Chapter 5 Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems
7. Altmetric Badge
   Chapter 6 On the Stability of Zeno Equilibria
8. Altmetric Badge
   Chapter 7 Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
9. Altmetric Badge
   Chapter 8 Output-Based Optimal Timing Control of Switched Systems
10. Altmetric Badge
    Chapter 9 Hybrid Modelling and Control of the Common Rail Injection System
11. Altmetric Badge
    Chapter 10 Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata
12. Altmetric Badge
    Chapter 11 Improving Efficiency of Finite Plans by Optimal Choice of Input Sets
13. Altmetric Badge
    Chapter 12 Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation
14. Altmetric Badge
    Chapter 13 Approximate Reachability Computation for Polynomial Systems
15. Altmetric Badge
    Chapter 14 A Lattice Theory for Solving Games of Imperfect Information
16. Altmetric Badge
    Chapter 15 Observability of Hybrid Automata by Abstraction
17. Altmetric Badge
    Chapter 16 Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks
18. Altmetric Badge
    Chapter 17 Decision Problems for the Verification of Real-Time Software
19. Altmetric Badge
    Chapter 18 Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control
20. Altmetric Badge
    Chapter 19 Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition
21. Altmetric Badge
    Chapter 20 The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
22. Altmetric Badge
    Chapter 21 Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs
23. Altmetric Badge
    Chapter 22 Verification Using Simulation
24. Altmetric Badge
    Chapter 23 Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes
25. Altmetric Badge
    Chapter 24 Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints
26. Altmetric Badge
    Chapter 25 Approximate Abstraction of Stochastic Hybrid Automata
27. Altmetric Badge
    Chapter 26 A Fully Automated Framework for Control of Linear Systems from LTL Specifications
28. Altmetric Badge
    Chapter 27 Reachability Analysis of Multi-affine Systems
29. Altmetric Badge
    Chapter 28 Approximation, Sampling and Voting in Hybrid Computing Systems
30. Altmetric Badge
    Chapter 29 Computational Methods for Reachability Analysis of Stochastic Hybrid Systems
31. Altmetric Badge
    Chapter 30 R-Charon, a Modeling Language for Reconfigurable Hybrid Systems
32. Altmetric Badge
    Chapter 31 Estimation and Conflict Detection in Human Controlled Systems
33. Altmetric Badge
    Chapter 32 Stability Analysis of Hybrid Systems Via Small-Gain Theorems
34. Altmetric Badge
    Chapter 33 Stochastic Hybrid Delay Population Dynamics
35. Altmetric Badge
    Chapter 34 Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback
36. Altmetric Badge
    Chapter 35 Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
37. Altmetric Badge
    Chapter 36 Verifying Average Dwell Time by Solving Optimization Problems
38. Altmetric Badge
    Chapter 37 Interchange Format for Hybrid Systems: Abstract Semantics
39. Altmetric Badge
    Chapter 38 Model Checking of Hybrid Systems: From Reachability Towards Stability
40. Altmetric Badge
    Chapter 39 A Feedback Control Motivation for Generalized Solutions to Hybrid Systems
41. Altmetric Badge
    Chapter 40 Fixed Point Iteration for Computing the Time Elapse Operator
42. Altmetric Badge
    Chapter 41 Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks
43. Altmetric Badge
    Chapter 42 Beyond Zeno: Get on with It!