231 search results - page 19 / 47 » Continuity controlled hybrid automata |
107
Voted
IJON
2006
14 years 9 months ago
2006
Constructing the controller of a mobile robot has several issues to be addressed: how to automate behavior generation procedure, how to insert available domain knowledge effective...
77
Voted
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
71
Voted
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...