3053 search results - page 274 / 611 » Hybrid Systems Diagnosis |
158
click to vote
ICRA
2006
IEEE
16 years 21 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...
164
click to vote
ISRR
2005
Springer
16 years 5 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)...
139
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
187
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...
179
click to vote
JAPLL
2010
15 years 1 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...