| 3117 - 3119 |
Goals and Challenges in Cyber-Physical Systems Research Editorial of the Editor in Chief
Antsaklis P |
| 3120 - 3121 |
Special Issue on Control of Cyber-Physical Systems
Johansson KH, Pappas GJ, Tabuada P, Tomlin CJ |
| 3122 - 3134 |
Finite Bisimulations for Switched Linear Systems
Gol EA, Ding XC, Lazar M, Belta C |
| 3135 - 3150 |
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
Zamani M, Esfahani PM, Majumdar R, Abate A, Lygeros J |
| 3151 - 3163 |
Towards Robustness for Cyber-Physical Systems
Tabuada P, Caliskan SY, Rungger M, Majumdar R |
| 3164 - 3177 |
An Input-Output Construction of Finite State rho/mu Approximations for Control Design
Tarraf DC |
| 3178 - 3193 |
Supporting Heterogeneity in Cyber-Physical Systems Architectures
Rajhans A, Bhave A, Ruchkin I, Krogh BH, Garlan D, Platzer A, Schmerl B |
| 3194 - 3208 |
Efficient Computations of a Security Index for False Data Attacks in Power Networks
Hendrickx JM, Johansson KH, Jungers RM, Sandberg H, Sou KC |
| 3209 - 3223 |
Detection in Adversarial Environments
Vamvoudakis KG, Hespanha JP, Sinopoli B, Mo YL |
| 3224 - 3237 |
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems
Lee P, Clark A, Bushnell L, Poovendran R |
| 3238 - 3251 |
Embedded Online Optimization for Model Predictive Control at Megahertz Rates
Jerez JL, Goulart PJ, Richter S, Constantinides GA, Kerrigan EC, Morari M |
| 3252 - 3265 |
Modular Design of Jointly Optimal Controllers and Forwarding Policies for Wireless Control
Demirel B, Zou ZH, Soldati P, Johansson M |
| 3266 - 3281 |
Event-Based State Estimation With Variance-Based Triggering
Trimpe S, D'Andrea R |
| 3282 - 3295 |
Price-Based Adaptive Scheduling in Multi-Loop Control Systems With Resource Constraints
Molin A, Hirche S |
| 3296 - 3311 |
Rollout Event-Triggered Control: Beyond Periodic Control Performance
Antunes D, Heemels WPMH |
| 3312 - 3324 |
Decentralized Event-Triggering for Control of Nonlinear Systems
Tallapragada P, Chopra N |
| 3325 - 3340 |
Distributed 3-D Localization of Camera Sensor Networks From 2-D Image Measurements
Tron R, Vidal R |
| 3341 - 3356 |
An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic
Kim KD, Kumar PR |
| 3357 - 3372 |
High Confidence Networked Control for Next Generation Air Transportation Systems
Park P, Khadilkar H, Balakrishnan H, Tomlin CJ |
| 3373 - 3379 |
Stochastic Stability of Event-Triggered Anytime Control
Quevedo DE, Gupta V, Ma WJ, Yuksel S |
