Secure Diagnosability of Hybrid Dynamical Systems (Q5117251)
From MaRDI portal
scientific article; zbMATH DE number 7237452
Language | Label | Description | Also known as |
---|---|---|---|
English | Secure Diagnosability of Hybrid Dynamical Systems |
scientific article; zbMATH DE number 7237452 |
Statements
Secure Diagnosability of Hybrid Dynamical Systems (English)
0 references
20 August 2020
0 references
hybrid dynamical systems
0 references
finite-state machines
0 references
diagnosability properties
0 references
discrete output function
0 references
procedural abstraction
0 references
0 references
0 references
0 references