An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks

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...

Full description

Bibliographic Details
Main Author: Sessa, Mirko
Other Authors: co-advisor: S. Mover
Format: Doctoral Thesis
Language:English
Published: Università degli studi di Trento 2019
Subjects:
switched multi-domain Kirchhoff networks differential-algebraic equations hybrid automata model checking satisfiability modulo theories
Online Access:http://hdl.handle.net/11572/243432

Internet

http://hdl.handle.net/11572/243432

Similar Items