595 search results - page 66 / 119 » Predictive State Representations with State Space Partitioni... |
114
click to vote
ECBS
1999
IEEE
15 years 3 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— We introduce a method for constructing provably safe smooth feedback laws for car-like robots in obstaclecluttered polygonal environments. The robot is taken to be a point with...
ETFA
2005
IEEE
15 years 4 months ago
2005
IEEE
In this paper we consider a quantized discrete-time linear quadratic regulator (DLQR) problem, namely a DLQR problem where the input u may only take values in a given finite set ...
102
Voted
DALT
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
100
Voted
HYBRID
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...