James Weimer

Susan B. Davidson

Proc. VLDB Endow., 2021

CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report).

[BibT_eX]

[DOI]

Yinjun Wu

Ragnhildur I. Bjarnadottir

Susan B. Davidson

CoRR, 2021

Robust Learning via Persistency of Excitation.

[BibT_eX]

[DOI]

CoRR, 2021

Confidence Calibration with Bounded Error Using Transformations.

[BibT_eX]

[DOI]

CoRR, 2021

Real-time detectors for digital and physical adversarial inputs to perception systems.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.

[BibT_eX]

[DOI]

Sydney Pugh

Ivan Ruchkin

Christopher P. Bonafide

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

VitalCore: Analytics and Support Dashboard for Medical Device Integration.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Improving Classifier Confidence using Lossy Label-Invariant Transformations.

[BibT_eX]

[DOI]

Sooyong Jang

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap.

[BibT_eX]

[DOI]

Somali Chaterji

Parinaz Naghizadeh

Muhammad Ashraful Alam

CoRR, 2020

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Case study: verifying the safety of an autonomous racing car with a neural network controller.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Continuous Estimation Using Context-Dependent Discrete Measurements.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

RePulmo: a remote pulmonary monitoring system.

[BibT_eX]

[DOI]

SIGBED Rev., 2019

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments.

[BibT_eX]

[DOI]

Lorenzo Fernández Maimó

Alberto Huertas Celdrán

Ángel Luis Perales Gómez

Félix J. García Clemente

Sensors, 2019

Detecting security leaks in hybrid systems with information flow analysis.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Robustness evaluation of computer-aided clinical trials for medical devices.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Verisig: verifying safety properties of hybrid systems with neural network controllers.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Parameter-Invariant Monitor Design for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Self-Driving Vehicle Verification Towards a Benchmark.

[BibT_eX]

[DOI]

CoRR, 2018

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Cyber-physical system checkpointing and recovery.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Context-aware detection in medical cyber-physical systems.

[BibT_eX]

[DOI]

Radoslav Ivanov

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing.

[BibT_eX]

[DOI]

Alberto Huertas Celdrán

Félix J. García Clemente

Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Towards Context-Aware Cyber-Physical Systems.

[BibT_eX]

[DOI]

Radoslav Ivanov

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Resilient linear classification: an approach to deal with attacks on training data.

[BibT_eX]

[DOI]

Sangdon Park

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Prediction of Critical Pulmonary Shunts in Infants.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2016

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.

[BibT_eX]

[DOI]

J. Comput. Sci. Eng., 2016

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Cloud-Based Secure Logger for Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

A stochastic approach for attack resilient UAV motion planning.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Parameter-Invariant Design of Medical Alarms.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Robust Medical Monitor Design.

[BibT_eX]

[DOI]

Oleg Sokolsky

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Sensor attack detection in the presence of transient faults.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Early detection of critical pulmonary shunts in infants.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

An Intraoperative Glucose Control Benchmark for Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Attack resilient state estimation for autonomous robotic systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Robustness of attack-resilient state estimators.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Towards Assurance Cases for Resilient Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Attack-resilient minimum mean-squared error estimation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Synthesis of platform-aware attack-resilient vehicular systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Distributed model-invariant detection of unknown inputs in networked systems.

[BibT_eX]

[DOI]

Damiano Varagnolo

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the Control of Cyber-Physical Systems, 2013

Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation.

[BibT_eX]

[DOI]

Proceedings of the Control of Cyber-Physical Systems, 2013

Parameter-invariant detection of unknown inputs in networked systems.

[BibT_eX]

[DOI]

Damiano Varagnolo

Milos S. Stankovic

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Active actuator fault detection and diagnostics in HVAC systems.

[BibT_eX]

[DOI]

Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

A Virtual Laboratory for Micro-Grid information and communication infrastructures.

[BibT_eX]

[DOI]

Yuzhe Xu

Carlo Fischione

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Distributed detection and isolation of topology attacks in power networks.

[BibT_eX]

[DOI]

Soummya Kar

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Distributed Event-Triggered Estimation in Networked Systems.

[BibT_eX]

[DOI]

José Araújo

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Periodic constraint-based control using dynamic wireless sensor scheduling.

[BibT_eX]

[DOI]

José Araujo

Aitor Hernandez

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Scheduling smart home appliances using mixed integer linear programming.

[BibT_eX]

[DOI]

Kin Cheong Sou

Henrik Sandberg