Learn More
Stochastic hybrid system models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reachability properties for such systems is a critical problem. Developing algorithms for reachability analysis is challenging because of the interaction between the discrete and continuous(More)
—Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reach-ability properties for such systems is a critical problem. Developing sound computational methods for verification is challenging because of the interaction between the discrete(More)
In this work an approach employing the Android mobile phone platform in an upper division computer science course to teach Java programming and other advanced computer science topics is presented. Mobile phones are growing influences in the computing market, but their strengths and popularity are rarely exploited in computer science classrooms. The aim of(More)
Three hundred and eighty-one women with operable breast cancer aged over 70 years were randomly allocated to 40 mg tamoxifen daily and optimal surgery or to tamoxifen alone. At a median follow-up of 34 months there was no demonstrable difference in survival rate or in quality of life between the two treatment groups. More patients treated with tamoxifen(More)
BACKGROUND Breast cancer has been considered a more indolent disease in the elderly, who are less tolerant of aggressive therapy. This trial tested the hypothesis that tamoxifen without surgery would provide adequate control of breast cancer for the remainder of life in elderly women, thereby sparing them surgery. METHOD Women aged over 70 years with(More)
This paper presents the Networked Control Systems Windtunnel (NCSWT), an integrated modeling and simulation tool for the evaluation of networked control systems (NCS). NCSWT integrates Matlab/Simulink and ns-2 using the High Level Architecture (HLA). Our implementation of the NCSWT based on HLA guarantees accurate time synchronization and data communication(More)
Modeling and analysis of biochemical systems such as sugar cataract development are critical because they can provide new insights into systems which cannot be easily tested with experiments; however, they are challenging problems due to the highly-coupled chemical reactions that are involved. In this paper we present a stochastic hybrid system framework(More)
Cyber-physical systems, such groups of unmanned aerial vehicles, are often monitored and controlled by networked control systems (NCS). NCS are deployed in many environments subject to realistic, complex network interactions, so evaluation of NCS is crucial to ensuring that NCS function as intended. Given the varied nature of NCS, it is appropriate to use a(More)
Modeling and analysis of biochemical systems are critical problems because they can provide new insights into systems which can not be easily tested with real experiments. One such biochemical process is the formation of sugar cataracts in the lens of an eye. Analyzing the sugar cataract development process is a challenging problem due to the highly-coupled(More)
Modeling and analysis of biochemical systems are critical problems because they can provide new insights into systems which can not be easily tested with real experiments. One such biochemical process is the formation of sugar cataracts in the lens of an eye. Analyzing the sugar cataract development process is a challenging problem due to the highly-coupled(More)