Công việc này giới thiệu một phương pháp xác minh và đặc tả mới cho các hệ thống động. Phương pháp được giới thiệu có thể cung cấp kết quả không có lỗi loại II theo định nghĩa, tức là không có lỗi ẩn trong kết quả xác minh. Cách tiếp cận này dựa trên số học khoảng Kaucher để đưa phép đo theo nghĩa sai số giới hạn. Các phương pháp được phát triển đã được chứng minh về mặt toán học để cung cấp sự xác minh đáng tin cậy cho nhiều loại hệ thống quan trọng về an toàn.

Abstract:

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.

Ngôn ngữ:	eng
Tác giả:	Schwab, Stefan
Thông tin nhan đề:	Guaranteed Verification of Dynamic Systems
Nhà xuất bản:	KIT Scientific Publishing
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập:  Điện
Bản quyền:	http://creativecommons.org/licenses/by-sa/4.0
Nguồn gốc:	https://directory.doabooks.org/handle/20.500.12854/79697
Mô tả vật lý:	216p.
Năm xuất bản:	2022