Miroslav Pajic

Henry D. Pfister

IEEE Trans. Autom. Control., November, 2024

Learning Optimal Strategies for Temporal Tasks in Stochastic Games.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., November, 2024

Neuro-Symbolic Computing: Advancements and Challenges in Hardware-Software Co-Design.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, March, 2024

Black-box Stealthy GPS Attacks on Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Haocheng Meng

CoRR, 2024

Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy.

[BibT_eX]

[DOI]

CoRR, 2024

A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion.

[BibT_eX]

[DOI]

David Hunt

Shaocheng Luo

CoRR, 2024

Athena - The NSF AI Institute for Edge Computing.

[BibT_eX]

[DOI]

AI Mag., 2024

MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

On the uniqueness of solution for the Bellman equation of LTL objectives.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Robust exploration with adversary via Langevin Monte Carlo.

[BibT_eX]

[DOI]

Hao-Lun Hsu

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

REFORMA: Robust REinFORceMent Learning via Adaptive Adversary for Drones Flying under Disturbances.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

On Trajectory Augmentations for Off-Policy Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment.

[BibT_eX]

[DOI]

Hao-Lun Hsu

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

IoT-Enabled Motion Control: Architectural Design Challenges and Solutions.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, March, 2023

Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians.

[BibT_eX]

[DOI]

CoRR, 2023

Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack.

[BibT_eX]

[DOI]

CoRR, 2023

From Spectral Theorem to Statistical Independence with Application to System Identification.

[BibT_eX]

[DOI]

CoRR, 2023

Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks.

[BibT_eX]

[DOI]

CoRR, 2023

Individual Treatment Effects in Extreme Regimes.

[BibT_eX]

[DOI]

CoRR, 2023

Robust Reinforcement Learning through Efficient Adversarial Herding.

[BibT_eX]

[DOI]

CoRR, 2023

High Dimensional Geometry and Limitations in System Identification.

[BibT_eX]

[DOI]

CoRR, 2023

Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data.

[BibT_eX]

[DOI]

CoRR, 2023

Off-Policy Evaluation for Human Feedback.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Rigorous Evaluation of Computer Processors with Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control.

[BibT_eX]

[DOI]

IROS, 2023

Demo Abstract: Edge-based Augmented Reality Guidance System for Retinal Laser Therapy via Feature Matching.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Information Processing in Sensor Networks, 2023

Stealthy Perception-based Attacks on Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Haocheng Meng

Robert Spencer Hallyburton

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Variational Latent Branching Model for Off-Policy Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development.

[BibT_eX]

[DOI]

Shucheng Zhang

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

A Modular Platform For Collaborative, Distributed Sensor Fusion.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Lightweight Verification of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

New dataset obtained from 2D positioning system with distributed control.

[BibT_eX]

[DOI]

Dataset, March, 2022

Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips.

[BibT_eX]

[DOI]

Tung-Che Liang

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

Security Analysis for Distributed IoT-Based Industrial Automation.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2022

Attack-resilient state estimation with intermittent data authentication.

[BibT_eX]

[DOI]

Autom., 2022

Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Military Communications Conference, 2022

Resiliency of Perception-Based Controllers Against Attacks.

[BibT_eX]

[DOI]

Henry D. Pfister

Proceedings of the Learning for Dynamics and Control Conference, 2022

A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Gradient Importance Learning for Incomplete Observations.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Learning-Based Vulnerability Analysis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022

Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Tung-Che Liang

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Optimal Myopic Attacks on Nonlinear Estimation.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Learning Monotone Dynamics by Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Attacks on Distributed Sequential Control in Manufacturing Automation.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Imputation-Free Learning from Incomplete Observations.

[BibT_eX]

[DOI]

CoRR, 2021

Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles.

[BibT_eX]

[DOI]

Yupei Liu

CoRR, 2021

Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2021

Learning Optimal Strategies for Temporal Tasks in Stochastic Games.

[BibT_eX]

[DOI]

CoRR, 2021

An optimal graph-search method for secure state estimation.

[BibT_eX]

[DOI]

Xusheng Luo

Michael M. Zavlanos

Autom., 2021

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Probabilistic conformance for cyber-physical systems.

[BibT_eX]

[DOI]

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

Statistical Model Checking for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

AI-Powered IoT System at the Edge.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Cognitive Machine Intelligence, 2021

Model-Free Learning of Safe yet Effective Controllers.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Distributing Sequential Control for Manufacturing Automation Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2020

Integrating Security in Resource-Constrained Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2020

Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes.

[BibT_eX]

[DOI]

Tung-Che Liang

Zhanwei Zhong

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

Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View.

[BibT_eX]

[DOI]

CoRR, 2020

Deep Learning for Stable Monotone Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations.

[BibT_eX]

[DOI]

Michael M. Zavlanos

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Hyperproperties for Robotics: Planning via HyperLTL.

[BibT_eX]

[DOI]

Siddhartha Nalluri

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Statistical verification of learning-based cyber-physical systems.

[BibT_eX]

[DOI]

Mojtaba Zarei

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

Context-Aware Temporal Logic for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Perfect Attackability of Linear Dynamical Systems with Bounded Noise.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Operator Strategy Model Development in UAV Hacking Detection.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2019

Statistical Verification of Hyperproperties for Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Hyperproperties for Robotics: Motion Planning via HyperLTL.

[BibT_eX]

[DOI]

Siddhartha Nalluri

CoRR, 2019

Statistical Verification of Hyperproperties for Cyber-Physical System.

[BibT_eX]

[DOI]

CoRR, 2019

Attack-Resilient Supervisory Control of Discrete-Event Systems.

[BibT_eX]

[DOI]

CoRR, 2019

A Scalable and Optimal Graph-Search Method for Secure State Estimation.

[BibT_eX]

[DOI]

Xusheng Luo

Michael M. Zavlanos

CoRR, 2019

Statistical Model Checking for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2019

LCV: A Verification Tool for Linear Controller Software.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Reliable industrial IoT-based distributed automation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet of Things Design and Implementation, 2019

Security-Aware Synthesis of Human-UAV Protocols.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Synchronization of Distributed Controllers in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Attack-Resilient Supervisory Control with Intermittently Secure Communication.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Security-Aware Synthesis Using Delayed-Action Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Guest Editorial: Special Issue on Medical Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2018

Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip.

[BibT_eX]

[DOI]

Tsung-Yi Ho

Chen-Yi Lee

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

A hybrid stochastic game for secure control of cyber-physical systems.

[BibT_eX]

[DOI]

Autom., 2018

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Jyotirmoy V. Deshmukh

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Learning-based control design for deep brain stimulation.

[BibT_eX]

[DOI]

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

Platform for model-based design and testing for deep brain stimulation.

[BibT_eX]

[DOI]

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

Human Augmentation of UAV Cyber-Attack Detection.

[BibT_eX]

[DOI]

Proceedings of the Augmented Cognition: Users and Contexts, 2018

Secure State Estimation with Cumulative Message Authentication.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Security-Aware Scheduling of Embedded Control Tasks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Zhanwei Zhong

Zipeng Li

ACM Trans. Embed. Comput. Syst., 2017

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

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Attack-Resilient State Estimation for Noisy Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2017

Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2017

A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Automatic Verification of Finite Precision Implementations of Linear Controllers.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Network Scheduling for Secure Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Platform for security-aware design of human-on-the-loop cyber-physical systems.

[BibT_eX]

[DOI]

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

Sporadic data integrity for secure state estimation.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Radoslav Ivanov

ACM Trans. Embed. Comput. Syst., 2016

Scalable Verification of Linear Controller Software.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Error recovery in a micro-electrode-dot-array digital microfluidic biochip?

[BibT_eX]

[DOI]

Zipeng Li

Kelvin Yi-Tse Lai

Po-Hsien Yu

Tsung-Yi Ho

Chen-Yi Lee

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Three challenges in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

Making the internet-of-things a reality: from smart models, sensing and actuation to energy-efficient architectures.

[BibT_eX]

[DOI]

Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

A real-time digital-microfluidic platform for epigenetics.

[BibT_eX]

[DOI]

Mohamed Ibrahim

Craig Boswell

Kristin Scott

Proceedings of the 2016 International Conference on Compilers, 2016

2015

Recognition of Planar Segments in Point Cloud Based on Wavelet Transform.

[BibT_eX]

[DOI]

Radovan Puzovic

Mohammad Abdullah Al Faruque

IEEE Trans. Ind. Informatics, 2015

Opportunistic Control Over Shared Wireless Channels.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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

Automatic verification of linear controller software.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

Design methodologies for securing cyber-physical systems.

[BibT_eX]

[DOI]

Francesco Regazzoni

Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015

Attack-resilient state estimation in the presence of noise.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Robust estimation using context-aware filtering.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

2014

Model-Driven Safety Analysis of Closed-Loop Medical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Closed-loop verification of medical devices with model abstraction and refinement.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly.

[BibT_eX]

[DOI]

J. Intell. Manuf., 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

Opportunistic scheduling of control tasks over shared wireless channels.

[BibT_eX]

[DOI]

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

Resilient multidimensional sensor fusion using measurement history.

[BibT_eX]

[DOI]

Radoslav Ivanov

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Attack-resilient sensor fusion.

[BibT_eX]

[DOI]

Radoslav Ivanov

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Coding sensor outputs for injection attacks detection.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Opportunistic sensor scheduling in wireless control systems.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Attack-resilient minimum mean-squared error estimation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Topological Conditions for In-Network Stabilization of Dynamical Systems.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 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

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

Stabilizability over deterministic relay networks.

[BibT_eX]

[DOI]

Shreyas Sundaram

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

Stochastic game approach for replay attack detection.

[BibT_eX]

[DOI]

Fei Miao

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

Power-aware communication for wireless sensor-actuator systems.

[BibT_eX]

[DOI]

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

Networked realization of discrete-time controllers.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Robust architectures for embedded wireless network control and actuation.

[BibT_eX]

[DOI]

Alexander Chernoguzov

ACM Trans. Embed. Comput. Syst., 2012

Cyber-Physical Modeling of Implantable Cardiac Medical Devices.

[BibT_eX]

[DOI]

Zhihao Jiang

Proc. IEEE, 2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Closing the loop: a simple distributed method for control over wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices.

[BibT_eX]

[DOI]

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

2011

The Wireless Control Network: A New Approach for Control Over Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Architecture for a fully distributed Wireless Control Network.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract: Closed-loop testing for implantable cardiac pacemakers.

[BibT_eX]

[DOI]

Zhihao Jiang

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Model-Based Closed-Loop Testing of Implantable Pacemakers.

[BibT_eX]

[DOI]

Zhihao Jiang

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

Topological conditions for wireless control networks.

[BibT_eX]

[DOI]

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

Network synthesis for dynamical system stabilization.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011

2010

Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2010

A platform for implantable medical device validation: demo abstract.

[BibT_eX]

[DOI]

Proceedings of Wireless Health 2010, 2010

Embedded Virtual Machines for Robust Wireless Control and Actuation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

A platform for implantable medical device validation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Toward patient safety in closed-loop medical device systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

The wireless control network: Monitoring for malicious behavior.

[BibT_eX]

[DOI]

Shreyas Sundaram

Christoforos N. Hadjicostis

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The Wireless Control Network: Synthesis and robustness.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Anti-jamming for embedded wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Demo abstract: Embedded Virtual Machines for wireless industrial automation.

[BibT_eX]

[DOI]

Shivakumar Sastry

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Embedded Virtual Machines for Robust Wireless Control Systems.

[BibT_eX]

[DOI]