Sciweavers

3053 search results - page 80 / 611
» Hybrid Systems Diagnosis
Sort
View
HYBRID
2001
Springer
14 years 2 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
INFOCOM
2010
IEEE
13 years 8 months ago
Measurement and Diagnosis of Address Misconfigured P2P Traffic
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
Zhichun Li, Anup Goyal, Yan Chen, Aleksandar Kuzma...
AGI
2011
13 years 1 months ago
Reasoning in Non-Axiomatic Logic: A Case Study in Medical Diagnosis
Abstract. Non-Axiomatic Logic (NAL) is designed for intelligent reasoning, and can be used in a system that has insufficient knowledge and resources with respect to the problems to...
Pei Wang, Seemal Awan
KR
2010
Springer
14 years 2 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
IROS
2006
IEEE
110views Robotics» more  IROS 2006»
14 years 4 months ago
Probe Positioning Support Utilizing Shoulder Model for Ultrasound Diagnosis
- We have been studying the technologizing of skill of the medical doctor in the medical diagnosis such as dialysis related amyloid arthropathy (DRAA) by ultrasonographic images. P...
Norihiro Koizumi, Takehiko Tsurumi, Shin'ichi Wari...