# Anomaly detection in cyber-physical systems: A formal methods approach

**Type:** Papers  
**Canonical URL:** https://scholariq.org/papers/anomaly-detection-in-cyber-physical-systems-a-formal-methods-approach/

## Facts

| Field | Value |
| --- | --- |
| Author Names | Austin Jones,Zhaodan Kong,Călin Belta |
| Citations | 111 |
| DOI | 10.1109/cdc.2014.7039487 |
| Fields | Computer Science,Engineering |
| Open Access | false |
| OA Status | closed |
| OpenAlex ID | https://openalex.org/W2086359741 |
| Type | conference-paper |
| Year | 2014 |

## Paper authors

- [Zhaodan Kong](https://scholariq.org/researchers/zhaodan-kong/)

## Paper primary topic

- [Anomaly Detection Techniques and Applications](https://scholariq.org/topics/anomaly-detection-techniques-and-applications/)

## Paper topics

- [Anomaly Detection Techniques and Applications](https://scholariq.org/topics/anomaly-detection-techniques-and-applications/)
- [Advanced Malware Detection Techniques](https://scholariq.org/topics/advanced-malware-detection-techniques/)
- [Artificial Immune Systems Applications](https://scholariq.org/topics/artificial-immune-systems-applications/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.