4693 search results - page 255 / 939 » Verifying Hybrid Systems |
160
click to vote
KES
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents a hybrid agents based architecture that uses casebased reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to ...
157
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
- Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS...
162
click to vote
ISRR
2005
Springer
16 years 3 days ago
2005
Springer
Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS)...
136
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
186
click to vote
SIAMCOMP
1998
15 years 6 months ago
1998
We present a consensus algorithm that combines unreliable failure detection and randomization, two well-known techniques for solving consensus in asynchronous systems with crash f...