Cal Poly Rose Float Overheight Mechanism

The Cal Poly Universities jointly build and enter a floral entry, commonly known as a float, into the Pasadena Tournament of Roses Rose Parade. At the end of this parade route, there is a 16’6” bridge all floats must drive under. The scope of our project is to design and build a mechanism roughly described as an “overheight” mechanism, as its function is to raise and lower large heavy structures so the float is able to pass under the bridge. This hydraulic mechanism is powered via the float animation system

Preliminary results for measurement and classification of overnight wandering by dementia patient using multi-sensors

The measurement and detection of overnight wandering is a significant issue for dementia patients and their caregivers such as a spouse. The wandering places the patient at risk of injury or even death if they fall or leave their residence without being detected. While it also causes stress and reduced sleep for the caregiver as they try to remain alert to the actions of their partner. This paper presents initial data for the first participant from an ongoing study of dementia patients where a wander detection and diversion system based on low-cost commercial sensors has been deployed into the residence. The paper shows that over a 3-week period, the analysis and classification of the sensor data is able to measure the behavior of the patient. In this period, the patient only used the washroom overnight and did not wander into other parts of the residence. These early results show that an off the shelf system targeted for residential security and home automation applications based on low-cost sensors supported with automated analysis and classification has the potential to be used to assist caregivers and dementia patients

Statistical Model Checking: Past, Present, and Future

International audienceStatistical Model Checking (SMC) is a compromise between verification and testing where executions of the systems are monitored until an algorithm from statistics can produce an estimate for the system to satisfy a given property. The objective of this introduction is to summarizes SMC as well as a series of challenges for which contributors at Isola propose a solution. Contributions include new SMC toolsets, new flexible SMC algorithms for larger classes of systems, and new applications