Miroslav Pajic - Paya

E-mail: miroslav.pajic AT duke.edu Address: Hudson Hall Room 206, 100 Science Dr, Durham, NC 27708

Menu:

• Home
  • CV
• Research
• CPSL@Duke
• Publications
• Teaching
• Awards
• News

News

If you have not been redirected to the CPSL news webpage, please click here.

2017

• October - Our paper on Security-Aware Scheduling of Embedded Control Tasks wins the Best Paper Award at the 17th ACM SIGBED International Conference on Embedded Software (EMSOFT'17)! The award winner was announced at the ESWeek in Seoul, Korea.

• July - Our paper "Network Scheduling for Secure Cyber-Physical Systems" has been accepted at the IEEE Real-Time Systems Symposium (RTSS'17)!

• July - Paper on "Sporadic Data Integrity for Secure State Estimation" has been accepted at the 56th IEEE Conference on Decision and Control (CDC'17)!

• June - Panelist on the "Security of Connected Cars" panel, at the Workshop on Connected Cars organized by the Federal Trade Commission (FTC) and the National Highway Traffic Safety Administration (NHTSA)!

• June - Two papers have been accepted at the ESWeek 2017 in Seoul, S. Korea. EMSOFT paper focuses on Security-Aware Scheduling of Embedded Control Tasks, and CASES paper presents Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. In addition, both papers will appear in the ACM Transactions on Embedded Computing Systems!

• June - Paper on "Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip" has been accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!

• May - I have received invitation to attend Frontiers of Engineering Symposium organized by the National Academy of Engineering!

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

• April - 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.

• March - I have received the NSF Faculty Early Career Development (CAREER) Award!

• February - I have received the 2017 ONR Young Investigator Award!

• February - 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!

• January - New project on Development of Control-Aware Cyber Techniques for Attack-Resilient Industrial Control & Combat Systems, supported by the ONR RHIMES program.

2016

• December - 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)!

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

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

• June - 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)!

• June - 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)!

• May - Paper on "A Real-Time Digital-Microfluidic Platform for Epigenetics" has been accepted in the first round at the International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES'16), part of Embedded Systems Week (ESWEEK'16)!

• May - 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)!

• May - 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!

• March - I am organizing a Special Issue on Medical CPS in the ACM Transactions on Cyber-Physical Systems. Please consider submitting your best work!

2015

• December - Papers "Scalable Verification of Linear Controller Software" and "Estimation of Blood Oxygen Content Using Context-Aware Filtering" have been accepted at the Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), and the 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'16).

• November - 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!

• October - Special session on Design Methodologies for Securing Cyber-Physical Systems at the Embedded Systems Week (ESWEEK'15).

• September - I will serve on the Program Committee of the 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'15). Please consider submitting your best work.

• July - Kickoff meeting for our project on Security and Privacy of Cyber-Physical Systems, supported by the Intel-NSF Parnership.

• July - 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.

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

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

• June - Our proposal for a Special session on "Design Methodologies for Securing Cyber-Physical Systems" has been accepted at the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), part of ESWEEK'15!

• April - I will serve on the Program Committee for the 2015 IEEE Real-Time Systems Symposium, RTSS'15. Please consider sending your best work.

• March - I will chair the Program Committee for the 2015 IEEE Real-Time Systems Symposium Work-in-Progress Sessio, RTSS'15. Please consider sending your work.

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

• January - 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!

• January - 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)!

2014

• December - Demo session at the IEEE Real-Time Systems Symposium, RTSS@Work, in Rome, Italy.

• September - I will serve on the Program Committee of the 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'15). Please consider submitting your best work.

• August - Invited talk "From Verified Models to Verified Code for Medical Devices" at the IEEE Engineering in Medicine and Biology Society Conference (EMBC), NSF/NIH Organized Session on Health Cyber-Physical Systems.

• August - I have participated in a panel on developing mobile tools and platforms for clinical trials at MobileHealth workshop.

• July - I will serve on the Program Committee at the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2015), part of CPS Week. Please consider sending your best work.

• July - I will serve on the Program Committee at the 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS'14). Please consider submitting your papers.

• July - Papers "Coding Sensor Outputs for Injection Attacks Detection" and "Opportunistic sensor scheduling in wireless control systems" have been accepted at the IEEE Conference on Decision and Control (CDC'14).

• May - In 2015, I will start full-time at the Department of Electrical and Computer Engineering, Duke University! Until then I will be an Adjunct Assistant Professor at Duke Electrical and Computer Engineering.

• May - Invited talk "Design and Implementation of Attack-Resilient Cyber-Physical Systems" at the High Confidence Software and Systems (HCSS) Conference.

• May - I will chair the RTSS@Work session, part of the IEEE RTSS'14.

• April - Paper "Robustness of Attack-Resilient State Estimators" has received the Best Paper Award at the 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'14)!

• April - CPSWeek 2014 in Berlin: Two papers at ICCPS'14, and a paper HiCoNS'14.

• February - April: Lectures on Medical CPS and Wireless CPS at UCLA, University of Minnesota, University of Maryland, UIUC, Duke, Cornel, University of Virginia, Virginia Tech and WUSTL.

• April - I will serve on the Program Committee for the Wireless Sensor Networks track at the 35th IEEE Real-Time Systems Symposium (RTSS 2014). Please consider sending your best work.

• March - Papers on CPS security and opportunistic control over wireless are two out of four Best Paper Award Finalists at the 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'14), the premier conference on CPS. The award winner will be announced at the CPSWeek in April.

• February - NSF workshop on Medical Cyber-Physical Systems - I have been invited to present our work on Design of Verified Software from Verified Closed-loop Models of Medical CPS.

• January - Papers on CPS security and opportunistic control over wireless have been accepted at the 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'14), the premier conference on CPS (acceptance rate < 24%).

2013

• December - Paper "Resilient Multidimensional Sensor Fusion using Measurement History " has been accepted at the 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS'14).

• November - Paper "Attack-Resilient Sensor Fusion" has been accepted at the Design, Automation and Test in Europe conference (DATE'14).

• November - Lecture at Washington University in St. Louis, part of the Department of Computer Science and Engineering Colloquia Series.

• September - Paper on Safety-critical Medical Device Development using the UPP2SF Model Translation Tool has been accepted for publication in the ACM Transactions on Embedded Computing Systems.

• September - I will serve on the Program Committee for the 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS 2014), part of CPS Week.

• August - I will serve on the Program Committee for the Track on Mobile Platforms at the 29th ACM Symposium on Applied Computing, and RTSS@Work session, part of the IEEE RTSS'13.

• August - Paper on Modeling and Verification of a Dual Chamber Implantable Pacemaker has been accepted for publication in the International Journal on Software Tools for Technology Transfer.

• July - Three papers "Stabilizability over Deterministic Relay Networks", "Power-aware communication for wireless sensor-actuator systems" AND "Stochastic Game Approach for Replay Attack Detection" have been accepted at the IEEE Conference on Decision and Control (CDC'13).

• April - I have received the 2013 Joseph and Rosaline Wolf Award from Penn Engineering for Best Dissertation in Electrical and Systems Engineering!

• April - I will serve on the Program Committee for the Wireless Sensor Networks track at the 34th IEEE Real-Time Systems Symposium (RTSS 2013). Please consider sending your best work.

• April - CPSWeek 2013 in Philly: Paper at HiCoNS'13 plus ICCPS'13 and IPNS'13 demos, and HSCC'13 poster!

• March - NSF workshop on Cloud Computing for Cyber-Physical Systems - I have been invited to serve as a panelist on 2 panels: "Computing Clouds in CPS Control" and "Security, Privacy, and Reliability Considerations in Integrating Cloud Computing with CPS".

• February - ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN'13), PhD forum committee member

• January - Program Committee member - Euromicro Conference on Digital System Design (DSD 2013), Special Session on Cyber-Physical Systems. Please consider submitting your papers.

2012

• December - Paper "Topological Conditions for In-Network Stabilization of Dynamical Systems"" has been accepted for publication in the IEEE Journal on Selected Areas in Communications.

• December - PVS team wins the First Prize in the World Embedded Systems Competition in Seoul, Korea, for our Heart-on-a-Chip platform - an open platform for cardiac pacemaker testing! More»

• October - Next spring I will be teaching CIS 542: Embedded Systems Programming at Department of Computer & Information Science, University of Pennsylvania!

• October - Paper "Fuzzy inference mechanism for recognition of contact states in robotized part mating" has been accepted for publication in the Journal of Intelligent Manufacturing.

• October - Postdoctoral Fellow at the PRECISE Center, University of Pennsylvania. One of my new projects - "SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems", funded by DARPA's High-Assurance Cyber Military Systems (HACMS) Program!

• September - Defended PhD thesis "Closing the Loop: Architectures and Algorithms for Real-Time Control over Wireless Networks"!

• September - Paper "Model-Driven Safety Analysis of Closed-Loop Medical Systems" has been accepted for publication in the IEEE Transactions on Industrial Informatics.

• April - Paper "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study" has received the Best Student Paper Award at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'12)!

• April - The Best Presentation Award for paper "Closing the Loop: A Simple Distributed Method for Control over Wireless Networks" at the ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN'12)!

• April - CPSWeek 2012 in Beijing, China: Papers at IPSN'12 and RTAS'12, plus an ICCPS'12 demo!

• March - Paper on pacemaker modeling and verification has been a Best Paper Candidate at the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)!

• February - Winner of the 2011 ACM SIGBED/SIGSOFT Frank Anger Memorial Award! The award is given by ACM Special Interest Group on Embedded Systems (SIGBED) to promote cross-disciplinary research between embedded systems and software engineering.

• February - Invited talk "Wireless Control: Current State of the Art and Future Research" at the NAMUR (International user association of automation technology in process industries) meeting dedicated to potential use of wireless in process industries.

• January - Paper "Closing the Loop: A Simple Distributed Method for Control over Wireless Networks" has been accepted at the ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN'12).

2011

• December - Paper "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study" has been accepted at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'12).

• December - Paper "Modeling and Verification of a Dual Chamber Implantable Pacemaker" has been accepted at the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12).

• July - Paper "Topological Conditions for Wireless Control Networks" has been accepted at the IEEE Conference on Decision and Control (CDC'11).

• June - Winner of the Honeywell Users Group 2011 Wireless Student Competition with project "Distributed Controller Grids: The Next Generation of Robust Wireless Control and Actuation using Honeywell OneWireless". We were awarded for the most innovative use of wireless control in industrial plants while addressing critical productivity, efficiency, energy management, regulatory, or other business / control issues. More»

• June - Paper "The Wireless Control Network: A New Approach for Control over Networks" has been accepted for publication in the IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks.

• June - Paper "Cyber-Physical Modeling of Implantable Cardiac Medical Devices" has been accepted for publication in the Proceedings of the IEEE, Special Issue on Cyber-Physical Systems.

• April - CPSWeek 2011 in Chicago: Papers at ICCPS'11 and RealWIN'11, plus two IPSN'11 demos.

• January - Paper "Model-based Closed-loop Testing of Implantable Pacemakers" has been accepted at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'11).

2010

• November - Paper "Robust Architectures for Embedded Wireless Network Control and Actuation" has been accepted for publication in the ACM Transactions on Embedded Computing Systems (ACM TECS).

• October - Invited talk "Architecture and Algorithms for the Wireless Controller Cloud" at the Honeywell Senior Technologists Seminar.

• July - Two papers "The Wireless Control Network: Synthesis and Robustness" AND "The Wireless Control Network: Monitoring for Malicious Behavior" have been accepted at the IEEE Conference on Decision and Control (CDC'10).

• April - CPSWeek 2010 in Stockholm: Papers at ICCPS'10 and RTAS'10, plus an IPSN'10 demo.

• March - Paper "Real-time Heart Model for Implantable Cardiac Device Validation and Verification" has been accepted at the IEEE Euromicro Conference on Real-Time Systems (ECRTS'10).

• February - Paper "Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks" has been accepted for publication in the EURASIP Journal on Wireless Communication and Networking.

• January - Paper "Toward patient safety in closed-loop medical device systems" has been accepted at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'10).

© 2013 Miroslav Pajic
Template design by Andreas Viklund