Verifying Switched System Stability With Logic.
Yong Kiam TanStefan MitschAndré PlatzerPublished in: CoRR (2021)
Keyphrases
- modal logic
- logic programming
- classical logic
- verification method
- stability analysis
- automated reasoning
- lyapunov function
- predicate logic
- computational properties
- model checking
- knowledge base
- artificial intelligence
- neural network
- bayesian networks
- database
- multi valued
- information systems
- set theory
- real world
- asymptotic stability
- proof theory
- data sets