Editing Hybrid Systems: A Summary

Title: Hybrid Systems: A Summary

Main Research Question: How can we effectively compute and represent the reach sets of continuous variables in hybrid systems?

Methodology: The authors propose a computational method for obtaining the reach sets of continuous variables in a hybrid system. They also describe a new algorithm to over-approximate with polyhedra the reach sets of the continuous variables with linear dynamics and polyhedral initial set.

Results: The authors illustrate their algorithms with typical interest examples.

Implications: This research has implications for the field of hybrid systems, as it provides a method for computing and representing the reach sets of continuous variables, which is a crucial problem in the analysis and synthesis of such systems. The over-approximation method can be used to verify safety requirements and under-approximation can be used to characterize a set of states from which a desirable property is always achievable.

Link to Article: https://arxiv.org/abs/0202006v1
Authors: 
arXiv ID: 0202006v1

[[Category:Computer Science]]
[[Category:Hybrid]]
[[Category:Systems]]
[[Category:Reach]]
[[Category:Sets]]
[[Category:Continuous]]