665 search results - page 15 / 133 » The Theory of Hybrid Automata |
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
HYBRID
2000
Springer
14 years 7 days ago
2000
Springer
HYBRID
2000
Springer
14 years 7 days ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
TACAS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...