An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks
Many critical systems are based on the combination of components from different physical domains (e.g. mechanical, electrical, hydraulic), and are mathematically modeled as Switched Multi-Domain Kirchhoff Networks (SMDKN). In this thesis, we tackle a major obstacle to formal verification of SMDKN, n...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Università degli studi di Trento
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11572/243432 |