665 search results - page 27 / 133 » The Theory of Hybrid Automata |
TACS
2001
Springer
15 years 4 months ago
2001
Springer
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
103
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
140
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
KI
2007
Springer
15 years 5 months ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...