Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (Q2165213)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
scientific article

    Statements

    Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (English)
    0 references
    Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model (English)
    0 references
    0 references
    0 references
    19 August 2022
    0 references
    16 January 2024
    0 references
    energy-aware monitoring
    0 references
    cyber-physical systems
    0 references
    formal methods
    0 references
    offline mmonitoring
    0 references
    online monitoring
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references