Miroslav Pajic

According to our database1, Miroslav Pajic authored at least 109 papers between 2009 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Distributing Sequential Control for Manufacturing Automation Systems.
IEEE Trans. Control. Syst. Technol., 2020

Integrating Security in Resource-Constrained Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2020

Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

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

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

Probabilistic Conformance for Cyber-Physical Systems.
CoRR, 2020

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

Deep Learning for Stable Monotone Dynamical Systems.
CoRR, 2020

Security Analysis for Distributed IoT-Based Industrial Automation.
CoRR, 2020

Attack-Resilient State Estimation with Intermittent Data Authentication.
CoRR, 2020

Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Hyperproperties for Robotics: Planning via HyperLTL.
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.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Statistical verification of learning-based cyber-physical systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Context-Aware Temporal Logic for Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2020

Perfect Attackability of Linear Dynamical Systems with Bounded Noise.
Proceedings of the 2020 American Control Conference, 2020

2019
Operator Strategy Model Development in UAV Hacking Detection.
IEEE Trans. Hum. Mach. Syst., 2019

Statistical Verification of Hyperproperties for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2019

Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems.
IEEE Trans. Autom. Control., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.
IEEE Trans. Autom. Control., 2019

Hyperproperties for Robotics: Motion Planning via HyperLTL.
CoRR, 2019

Statistical Verification of Hyperproperties for Cyber-Physical System.
CoRR, 2019

Attack-Resilient Supervisory Control of Discrete-Event Systems.
CoRR, 2019

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

Statistical Model Checking for Probabilistic Hyperproperties.
CoRR, 2019

LCV: A Verification Tool for Linear Controller Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Reliable industrial IoT-based distributed automation.
Proceedings of the International Conference on Internet of Things Design and Implementation, 2019

Security-Aware Synthesis of Human-UAV Protocols.
Proceedings of the International Conference on Robotics and Automation, 2019

Synchronization of Distributed Controllers in Cyber-Physical Systems.
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.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Attack-Resilient Supervisory Control with Intermittently Secure Communication.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Security-Aware Synthesis Using Delayed-Action Games.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Guest Editorial: Special Issue on Medical Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2018

Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

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

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Learning-based control design for deep brain stimulation.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Platform for model-based design and testing for deep brain stimulation.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Human Augmentation of UAV Cyber-Attack Detection.
Proceedings of the Augmented Cognition: Users and Contexts, 2018

Secure State Estimation with Cumulative Message Authentication.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Security-Aware Scheduling of Embedded Control Tasks.
ACM Trans. Embed. Comput. Syst., 2017

Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips.
ACM Trans. Embed. Comput. Syst., 2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.
ACM Trans. Cyber Phys. Syst., 2017

Attack-Resilient State Estimation for Noisy Dynamical Systems.
IEEE Trans. Control. Netw. Syst., 2017

Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks.
IEEE Trans. Control. Netw. Syst., 2017

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

Automatic Verification of Finite Precision Implementations of Linear Controllers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Network Scheduling for Secure Cyber-Physical Systems.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Platform for security-aware design of human-on-the-loop cyber-physical systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Sporadic data integrity for secure state estimation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2016

Scalable Verification of Linear Controller Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Error recovery in a micro-electrode-dot-array digital microfluidic biochip?
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Three challenges in cyber-physical systems.
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.
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.
Proceedings of the 2016 International Conference on Compilers, 2016

2015
Recognition of Planar Segments in Point Cloud Based on Wavelet Transform.
IEEE Trans. Ind. Informatics, 2015

Opportunistic Control Over Shared Wireless Channels.
IEEE Trans. Autom. Control., 2015

Sensor attack detection in the presence of transient faults.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Automatic verification of linear controller software.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Design methodologies for securing cyber-physical systems.
Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015

Attack-resilient state estimation in the presence of noise.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Robust estimation using context-aware filtering.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

2014
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Trans. Ind. Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.
ACM Trans. Embed. Comput. Syst., 2014

Closed-loop verification of medical devices with model abstraction and refinement.
Int. J. Softw. Tools Technol. Transf., 2014

Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly.
J. Intell. Manuf., 2014

Attack resilient state estimation for autonomous robotic systems.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Robustness of attack-resilient state estimators.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Opportunistic scheduling of control tasks over shared wireless channels.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Resilient multidimensional sensor fusion using measurement history.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Attack-resilient sensor fusion.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Coding sensor outputs for injection attacks detection.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Opportunistic sensor scheduling in wireless control systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Attack-resilient minimum mean-squared error estimation.
Proceedings of the American Control Conference, 2014

2013
Topological Conditions for In-Network Stabilization of Dynamical Systems.
IEEE J. Sel. Areas Commun., 2013

Synthesis of platform-aware attack-resilient vehicular systems.
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.
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.
Proceedings of the Control of Cyber-Physical Systems, 2013

Stabilizability over deterministic relay networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Stochastic game approach for replay attack detection.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Power-aware communication for wireless sensor-actuator systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Networked realization of discrete-time controllers.
Proceedings of the American Control Conference, 2013

2012
Robust architectures for embedded wireless network control and actuation.
ACM Trans. Embed. Comput. Syst., 2012

Cyber-Physical Modeling of Implantable Cardiac Medical Devices.
Proc. IEEE, 2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.
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.
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.
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.
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.
IEEE Trans. Autom. Control., 2011

Architecture for a fully distributed Wireless Control Network.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract: Closed-loop testing for implantable cardiac pacemakers.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Model-Based Closed-Loop Testing of Implantable Pacemakers.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Topological conditions for wireless control networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Network synthesis for dynamical system stabilization.
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.
EURASIP J. Wirel. Commun. Netw., 2010

A platform for implantable medical device validation: demo abstract.
Proceedings of Wireless Health 2010, 2010

Embedded Virtual Machines for Robust Wireless Control and Actuation.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

A platform for implantable medical device validation.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Toward patient safety in closed-loop medical device systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

The wireless control network: Monitoring for malicious behavior.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

The Wireless Control Network: Synthesis and robustness.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Anti-jamming for embedded wireless networks.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Demo abstract: Embedded Virtual Machines for wireless industrial automation.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Embedded Virtual Machines for Robust Wireless Control Systems.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009


  Loading...