Biblio
Filters: First Letter Of Last Name is S [Clear All Filters]
.
2017. Design and preliminary evaluation of a multi-robotic system with pelvic and hip assistance for pediatric gait rehabilitation. Rehabilitation Robotics (ICORR), 2017 International Conference on. :332–339.
This paper presents a modular, computationally-distributed “multi-robot” cyberphysical system designed to assist children with developmental delays in learning to walk. The system consists of two modules, each assisting a different aspect of gait: a tethered cable pelvic module with up to 6 degrees of freedom (DOF), which can modulate the motion of the pelvis in three dimensions, and a two DOF wearable hip module assisting lower limb motion, specifically hip flexion. Both modules are designed to be lightweight and minimally restrictive to the user, and the modules can operate independently or in cooperation with each other, allowing flexible system configuration to provide highly customized and adaptable assistance. Motion tracking performance of approximately 2 mm root mean square (RMS) error for the pelvic module and less than 0.1 mm RMS error for the hip module was achieved. We demonstrate coordinated operation of the two modules on a mannequin test platform with articulated and instrumented lower limbs.
.
2014. Distributed timely-throughput optimal scheduling for wireless networks. 2014 IEEE Global Communications Conference. :4820-4826.
.
2015. A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Proceedings of the 2015 International Conference on Healthcare Informatics. :213–222.
.
Submitted. Physiology-Invariant Meal Detection for Type 1 Diabetes. Diabetes Technology and Therapeutics", year 201.
online first
.
2016. Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE). :229-237.
.
2015. Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2015}). :228-242.
.
2015. Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
.
2015. Hierarchical multi-formalism proofs of cyber-physical systems. 13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015. :90–95.
.
2015. Efficient observability-based test generation by dynamic symbolic execution. 26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015. :228–238.
.
2015. Early Detection of Critical Pulmonary Shunts in Infants. Proceedings of the 6th International Conference on Cyber-Physical Systems. :110-119.
.
2015. Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites {NASA} Formal Methods - 7th International Symposium, {NFM} 2015. :279–294.
.
2015. An Intraoperative Glucose Control Benchmark for Formal Verification. IFAC-PapersOnLine. 48:211–217.
.
2014. Structuring simulink models for verification and reuse. 6th International Workshop on Modeling in Software Engineering, MiSE 2014. :19–24.
.
2014. Steering model-based oracles to admit real program behaviors. 36th International Conference on Software Engineering, {ICSE} '14, Companion Proceedings. :428–431.
.
2014. Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
.
2014. Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. 5$^{th}$ ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :139-150.
.
2014. Improving the accuracy of oracle verdicts through automated model steering. {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14. :527–538.
.
2014. From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
.
2014. Exploring the twin peaks using probabilistic verification techniques. Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014. :18–23.
.
2014. Design Pillars for Medical Cyber-Physical System Middleware. Proceedings of the 5th Workshop on Medical Cyber-Physical Systems (MCPS 2014). :124–132.
.
2014. A layered approach for testing timing in the model-based implementation. 2014 Design, Automation Test in Europe Conference Exhibition (DATE). :1-4.
.
2013. Circumvention of Security: Good Users Do Bad Things.. IEEE Security & Privacy. 11:80–83.
.
2013. Compositional verification of a medical device system. Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity language technology, {HILT} 2013. :51–64.
.
2013. Modes, features, and state-based modeling for clarity and flexibility. Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013. :13–17.
.
2013. Modeling and requirements on the physical side of cyber-physical systems. 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks@ICSE 2013. :1–7.