Dependable Cyber-Physical Systems (DCPS) Lab

The Dependable Cyber-Physical Systems (DCPS) laboratory, EECS, University of Missouri.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

The 2nd paper is titled “Model Checking Time Window Temporal Logic for Hyperproperties”. This paper introduces a model checking approach for HyperTWTL specifications-- a domain-specific formal specification language for robotics.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

We are delighted that two of our papers got accepted in the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2023).

#robotics #embeddedsystems #security #esweek #esweek23 #formalverification #logic #automatedreasoning #memocode23

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

The first paper is titled “QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring”. This paper proposes the novel quality-aware time window temporal logic (QTWTL) with two operators for counting and aggregation operations.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Our new paper is now out on IEEE Robotics and Automation Letters (IEEE RA-L). We proposed a new logic HyperTWTL, Hyperproperties for robotic motion planning. Congratulations to Ernest Bonnah !

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

DCPS Ph.D. student Ayesha Siddique presented two papers on approximate SNN accelarator reliability & security today in @DateConference 2023 in Anrwerp, Belgium. Congratulations @AyeshaSiddiq_ !

#reliability #security #snn #ai #dnn #accelerators #energyefficiency

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

@riponkundu69 recently presented our work at #IUI2023 on applying explainable AI for explaining and reducing cybersickness model size on energy-constrained VR headsets.

Full paper: https://t.co/CNg0EgVWX9

#explainableai #xai #machinelearning #virtualreality #cybersickness

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Congratulations to Ripan Kumar kundu @riponkundu69. He has been awarded a $3500 travel grant from National Science Foundation (NSF) to attend and present his paper at the #IUI2023 in Sydney, Australia.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Congratulations to @AyeshaSiddiq_ for leading this excellent work.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

A great start of 2023 with a paper acceptance in IEEE Transactions on Very Large Scale Integration (VLSI) Systems on Reliability analysis and improvement of energy-efficient approximate DNN accelerators.

The pre-print version is available here: https://t.co/Mhdh8zD8Gg

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Congratulations to @riponkundu69 for leading the work!

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Delighted to share that our paper "VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality " got accepted in @ACMIUI conference (core rank A).
All the reviewers seem to be excited about the work with 4/5 uniform ratings.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Our paper titled “LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI” has been accepted in IEEE VR @IEEEVR conference. Congratulations @riponkundu69 for his second A* ranked paper in the first year of PhD!
#ieeevr23

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Congratulations to the student authors: Ayesha Siddique, and Syed Tihaam Ahmad. We will share the preprints soon.

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Alhamdulillah, we submitted two papers this year to the @DateConference and both were accepted:

1.  Improving Reliability of SNN through Fault Aware Threshold Voltage Optimization
2. Security-Aware Approximate SNN

#DATE23 #DATE #SNN #security #machinelearning #approximation

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Ripan Kumar Kundu @riponkundu69 successfully presented our paper “TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning” at the ISMAR 2022 conference in Singapore. The preprint of our paper is available here: https://t.co/pVdDiZznii

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Our recent work on applying explainable machine learning to VR cybersickness detection has been featured in Mizzou EECS Newsletter. Congratulations to the team! 

#machinelearning #XAI #VR #ISMAR22

https://t.co/iujE0KgXxr

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Our new paper “TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning” has been accepted at IEEE International Symposium on Mixed and Augmented Reality (ISMAR). Preprint will be available soon.
Congratulations to @riponkundu69 !

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Congratulations to @AyeshaSiddiq_ for receiving the DAC Young Fellowship 2022.

#DAC59

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

DCPS Iftar (Ramadan Dinner) 2022

[Dependable Cyber-Physical Systems (DCPS) Lab @dependableCPS]

Our paper titled "Runtime Monitoring of Time Window Temporal
Logic" has been accepted for publication in the IEEE Robotics and Automation Letters (IEEE RA-L) journal. Congratulations Ernest !

The preprint is available here: https://t.co/FaxZDoEsdu

#robotics #formalmethod