Skip navigation
Skip navigation

High-level Hybrid Systems Analysis with Hypy

Bak, Stanley; Bogomolov, Sergiy; Schilling, Christian


Hybrid systems play an important role in many application domains. A range of powerful analysis methods for this class of systems perform high-level analysis, where, iteratively,(1) a reachability computation is performed on a system model, (2) the result of the analysis is examined, and (3) the model is modified and the process repeats. For example, a well-known high-level analysis method is counter-example guided abstraction refinement (CEGAR), where, at each iteration, the model is refined...[Show more]

CollectionsANU Research Publications
Date published: 2017
Type: Conference paper
Source: Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms
Book Title: ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
DOI: 10.29007/4f3d
Access Rights: Open Access via publisher website


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator