665 search results - page 25 / 133 » The Theory of Hybrid Automata |
JACIC
2007
13 years 8 months ago
2007
Autonomous navigation in urban environments inevitably leads to having to switch between various, sometimes conflicting control tasks. Sting Racing, a collaboration between Georg...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
IJBRA
2008
13 years 8 months ago
2008
: In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Ren
LATA
2010
Springer
14 years 6 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...