Recent News

Paper accepted in Automatica

May 2017 - Paper on "A Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems" has been accepted for publication in Automatica!

Public demonstration of RESCHU-SA

April 2017 - First public demonstration of RESCHU-SA, our newly developed extendable virtual platform that facilitates studying the impact that Human-on-the-Loop have on security of CPS with varying levels of autonomy. It allows users to analyze how inductive reasoning and ability to provide context, particularly during an attack, affects the overall CPS security guarantees.

Paper accepted in ACM TCPS

February 2017 - Paper on "Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults" has been accepted for publication in the ACM Transactions on Cyber-Physical Systems!

Paper accepted at TACAS'17

December 2016 - Paper on "Automatic Verification of Finite Precision Implementations of Linear Controllers" has been accepted at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17)!

Paper accepted in IEEE TCNS

August 2016 - Paper "Attack-Resilient State Estimation for Noisy Dynamical Systems" has been accepted for publication in IEEE Transactions on Control of Network Systems!

Paper accepted to IEEE Control Systems

July 2016 - Paper on "Design and Implementation of Attack-Resilient Cyber-Physical Systems" has been accepted for publication in IEEE Control Systems!

Paper accepted at ETFA'16

May 2016 - Our paper "Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems" has been accepted at the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'16)!

Special session accepted at CODES+ISSS (ESWEEK'16)

June 2016 - Special Session "Making the Internet-of-Things a Reality: From Smart Models, Sensing and Actuation to Energy-Efficient Architectures" accepted at the CODES+ISSS, part of Embedded Systems Week (ESWEEK'16)!

Paper accepted to ICCAD'16

June 2016 - Paper "Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip" has been accepted at the International Conference on Computer Aided Design (ICCAD'16)!

Paper accepted in IEEE TCNS

May 2016 - Paper on "Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks" has been accepted for publication in the IEEE Transactions on Control of Network Systems!

Special issue in ACM Transactions on CPS

March 2016 - Dr. Pajic will organize a Special Issue on Medical CPS in the ACM Transactions on Cyber-Physical Systems. Please consider submitting your best work!

Paper accepted at ICCPS'16

December 2015 - Paper "Estimation of Blood Oxygen Content Using Context-Aware Filtering" has been accepted at the 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'16)!

Paper accepted at TACAS'16

December 2015 - Paper "Scalable Verification of Linear Controller Software" has been accepted at the Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16)!

Paper accepted to ACM TECS

November 2015 - Paper on "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems" has been accepted for publication in the ACM Transactions on Embedded Computing Systems!

Chapter in "Multisensor Data Fusion: From Algorithm and Architecture Design to Applications" published

July 2015 - Our book chapter on "Attack-Resilient Sensor Fusion for CPS" in Multisensor Data Fusion: From Algorithm and Architecture Design to Applications has been published by CRC Press.

Paper accepted to CDC'15

July 2015 - Paper on "Attack-Resilient State Estimation in the Presence of Noise" has been accepted at the 54th IEEE Conference on Decision and Control (CDC'15)!

Paper accepted at EMSOFT'15!

June 2015 - Paper on "Automatic Verification of Linear Controller Software" has been accepted at the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT'15)!

Dr. Pajic will be a TPC member for IEEE RTSS'15.

April 2015 - Dr. Pajic is a member of Technical Program Committee for the 2015 IEEE Real-Time Systems Symposium (RTSS'15)!

Paper accepted in IEEE TAC

March 2015 - Paper on "Opportunistic Control Over Shared Wireless Channels" has been accepted for publication in the IEEE Transactions on Automatic Control!

Dr. Pajic to chair 2015 RTSS WiP

March 2015 - Dr. Pajic announced to chair the Program Committee for the 2015 IEEE Real-Time Systems Symposium Work-in-Progress Session, RTSS'15.

Paper accepted at ICCPS'15

January 2015 - Paper on "Sensor Attack Detection in the Presence of Transient Faults" has been accepted at the 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'15)!

Paper accepted in IEEE TII

January 2015 - Paper on "Recognition of Planar Segments in Point Cloud based on Wavelet Transform" has been accepted for publication in the IEEE Transactions on Industrial Informatics!

Pages