π¦
|
Robustness of attack-resilient state estimators
7 auth.
Miroslav Pajic,
James Weimer,
N. Bezzo,
P. Tabuada,
O. Sokolsky,
Insup Lee,
...
George Pappas
|
7 |
2014 |
7 π¦
|
π¦
|
The Wireless Control Network: A New Approach for Control Over Networks
Miroslav Pajic,
S. Sundaram,
George Pappas,
Rahul Mangharam
|
7 |
2011 |
7 π¦
|
π¬
|
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks
Fei Miao,
Quanyan Zhu,
Miroslav Pajic,
George Pappas
|
7 |
2016 |
7 π¬
|
π¬
|
Stochastic game approach for replay attack detection
Fei Miao,
Miroslav Pajic,
George Pappas
|
7 |
2013 |
7 π¬
|
π¦
|
Attack-Resilient State Estimation for Noisy Dynamical Systems
Miroslav Pajic,
Insup Lee,
George Pappas
|
7 |
2017 |
7 π¦
|
π¬
|
CyberβPhysical Modeling of Implantable Cardiac Medical Devices
Zhihao Jiang,
Miroslav Pajic,
Rahul Mangharam
|
7 |
2012 |
7 π¬
|
π¬
|
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Zhihao Jiang,
Miroslav Pajic,
Salar Moarref,
R. Alur,
Rahul Mangharam
|
7 |
2012 |
7 π¬
|
π’
|
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
A. Bozkurt,
Yu Wang,
M. Zavlanos,
Miroslav Pajic
|
6 |
2019 |
6 π’
|
π¬
|
Toward patient safety in closed-loop medical device systems
D. Arney,
Miroslav Pajic,
J. Goldman,
Insup Lee,
Rahul Mangharam,
O. Sokolsky
|
6 |
2010 |
6 π¬
|
π¬
|
Opportunistic Control Over Shared Wireless Channels
Konstantinos Gatsis,
Miroslav Pajic,
Alejandro Ribeiro,
George Pappas
|
6 |
2015 |
6 π¬
|