HyPLC-Reference-Cited by-同舟云学术

HyPLC

Published:2019-04-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems
language:
Short-container-title:

Author:

Garcia Luis¹,Mitsch Stefan²,Platzer André²

Affiliation:

1. University of California

2. Carnegie Mellon University

Funder

DARPA

U.S. Department of Energy

U.S. Department of Education

AFOSR

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3302509.3311036

Reference34 articles.

1. Voltage sags in industrial systems

2. "ABB launches new Pluto programmable logic controller for rail safety applications." {Online}. Available: http://www.abb.com/cawp/seitp202/fa405fb9803dd9eac1258035002f53c0.aspx "ABB launches new Pluto programmable logic controller for rail safety applications." {Online}. Available: http://www.abb.com/cawp/seitp202/fa405fb9803dd9eac1258035002f53c0.aspx

3. Intelligent control of wastewater treatment plants

4. Modeling programmable logic controllers for logic verification

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hybrid dynamical systems logic and its refinements;Science of Computer Programming;2025-01

2. Reasoning about Physical Processes in Buildings through Component Stereotypes;Proceedings of the 10th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation;2023-11-15

3. Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow;IEEE Open Journal of the Industrial Electronics Society;2023

4. Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems;25th International Symposium on Research in Attacks, Intrusions and Defenses;2022-10-26

5. SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses;2021 IEEE European Symposium on Security and Privacy (EuroS&P);2021-09