Skip navigation
Skip navigation

High-level Hybrid Systems Analysis with Hypy

Bak, Stanley; Bogomolov, Sergiy; Schilling, Christian

Description

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
URI: http://hdl.handle.net/1885/186872
Source: Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms
DOI: 10.29007/4f3d
Access Rights: Open Access via publisher website

Download

There are no files associated with this item.


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

Updated:  22 January 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator