Hybrid Systems: Computation and Control

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Coordinated Control for Highly Reconfigurable Systems
3. Altmetric Badge
   Chapter 2 Operational Semantics of Hybrid Systems
4. Altmetric Badge
   Chapter 3 SOS Methods for Semi-algebraic Games and Optimization
5. Altmetric Badge
   Chapter 4 The Discrete Time Behavior of Lazy Linear Hybrid Automata
6. Altmetric Badge
   Chapter 5 Perturbed Timed Automata
7. Altmetric Badge
   Chapter 6 A Homology Theory for Hybrid Systems: Hybrid Homology
8. Altmetric Badge
   Chapter 7 Observability of Switched Linear Systems in Continuous Time
9. Altmetric Badge
   Chapter 8 Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains
10. Altmetric Badge
    Chapter 9 Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli
11. Altmetric Badge
    Chapter 10 Optimal Control of Discrete Hybrid Stochastic Automata
12. Altmetric Badge
    Chapter 11 Hybrid Decentralized Control of Large Scale Systems
13. Altmetric Badge
    Chapter 12 On the Stabilisation of Switching Electrical Power Converters
14. Altmetric Badge
    Chapter 13 Bisimulation for General Stochastic Hybrid Systems
15. Altmetric Badge
    Chapter 14 Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
16. Altmetric Badge
    Chapter 15 Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
17. Altmetric Badge
    Chapter 16 Refining Abstractions of Hybrid Systems Using Counterexample Fragments
18. Altmetric Badge
    Chapter 17 PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
19. Altmetric Badge
    Chapter 18 Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility
20. Altmetric Badge
    Chapter 19 Reachability of Uncertain Linear Systems Using Zonotopes
21. Altmetric Badge
    Chapter 20 Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates
22. Altmetric Badge
    Chapter 21 Polynomial Stochastic Hybrid Systems
23. Altmetric Badge
    Chapter 22 Non-uniqueness in Reverse Time of Hybrid System Trajectories
24. Altmetric Badge
    Chapter 23 Comparison of Four Procedures for the Identification of Hybrid Systems
25. Altmetric Badge
    Chapter 24 An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems
26. Altmetric Badge
    Chapter 25 Mode-Automata Based Methodology for Scade
27. Altmetric Badge
    Chapter 26 Taylor Approximation for Hybrid Systems
28. Altmetric Badge
    Chapter 27 Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems
29. Altmetric Badge
    Chapter 28 Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation
30. Altmetric Badge
    Chapter 29 Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties
31. Altmetric Badge
    Chapter 30 Learning Multi-modal Control Programs
32. Altmetric Badge
    Chapter 31 A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
33. Altmetric Badge
    Chapter 32 On Transfinite Hybrid Automata
34. Altmetric Badge
    Chapter 33 Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration
35. Altmetric Badge
    Chapter 34 Interchange Formats for Hybrid Systems: Review and Proposal
36. Altmetric Badge
    Chapter 35 Primal–Dual Tests for Safety and Reachability
37. Altmetric Badge
    Chapter 36 Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
38. Altmetric Badge
    Chapter 37 Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
39. Altmetric Badge
    Chapter 38 Generating Polynomial Invariants for Hybrid Systems
40. Altmetric Badge
    Chapter 39 Modeling, Optimization and Computation for Software Verification
41. Altmetric Badge
    Chapter 40 Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
42. Altmetric Badge
    Chapter 41 Sensor/Actuator Abstractions for Symbolic Embedded Control Design
43. Altmetric Badge
    Chapter 42 Modeling and Control of Networked Control Systems with Random Delays
44. Altmetric Badge
    Chapter 43 Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems