Komplex kiberfizikai rendszerek állapot alapú modelljeinek megbízhatósági analízise statisztikai inferenciája és verifikációja