↓ Skip to main content

Hybrid Systems: Computation and Control

Overview of attention for book
Hybrid Systems: Computation and Control
Springer Berlin Heidelberg

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!
Attention for Chapter 7: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
20 Mendeley
citeulike
1 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
Chapter number 7
Book title
Hybrid Systems: Computation and Control
Published in
Lecture notes in computer science, March 2006
DOI 10.1007/11730637_7
Book ISBNs
978-3-54-033170-4, 978-3-54-033171-1
Authors

Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Amin, Saurabh, Abate, Alessandro, Prandini, Maria, Lygeros, John, Sastry, Shankar S., Sastry, Shankar

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 20 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 5%
Unknown 19 95%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 9 45%
Professor 2 10%
Researcher 2 10%
Student > Master 2 10%
Lecturer 1 5%
Other 3 15%
Unknown 1 5%
Readers by discipline Count As %
Engineering 10 50%
Computer Science 4 20%
Mathematics 2 10%
Social Sciences 1 5%
Unknown 3 15%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 13 May 2024.
All research outputs
#17,672,917
of 25,905,864 outputs
Outputs from Lecture notes in computer science
#4,772
of 8,175 outputs
Outputs of similar age
#78,893
of 88,144 outputs
Outputs of similar age from Lecture notes in computer science
#14
of 20 outputs
Altmetric has tracked 25,905,864 research outputs across all sources so far. This one is in the 21st percentile – i.e., 21% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,175 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.2. This one is in the 26th percentile – i.e., 26% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 88,144 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 5th percentile – i.e., 5% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 20 others from the same source and published within six weeks on either side of this one. This one is in the 20th percentile – i.e., 20% of its contemporaries scored the same or lower than it.