Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving.
Adnan RashidOsman HasanPublished in: J. Syst. Archit. (2021)
Keyphrases
- theorem proving
- formal analysis
- cyber physical systems
- cyber physical
- first order logic
- inference rules
- parallel search
- formal methods
- consequence finding
- theorem prover
- proof planning
- physical world
- real time
- geometry theorem proving
- critical infrastructure
- embedded systems
- information sharing
- wireless sensor networks
- social networks
- machine learning