14190 search results - page 43 / 2838 » Abstractions for hybrid systems |
156
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
170
click to vote
KAIS
2006
15 years 6 months ago
2006
Abstract This paper describes a hybrid statistical and knowledge-based inforQ1 mation extraction model, able to extract entities and relations at the sentence level. The model atte...
165
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
153
click to vote
ICRA
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...
187
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...