IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Compositional bounded reachability using time partitioning and abstraction

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/34351

Files in this item

File Description Format
PDF Green_Jeremy.pdf (558KB) (no description provided) PDF
Title: Compositional bounded reachability using time partitioning and abstraction
Author(s): Green, Jeremy
Advisor(s): Mitra, Sayan
Department / Program: Electrical & Computer Eng
Discipline: Electrical & Computer Engr
Degree Granting Institution: University of Illinois at Urbana-Champaign
Degree: M.S.
Genre: Thesis
Subject(s): bounded reachability decomposition composition hybrid system abstraction safety verification
Abstract: Automatic verification of cyber-physical systems (CPS) typically involves computing the reachable set of states of such systems. This computation is known to be exponential in the number of continuous variables. For systems that can be decomposed into separate components with lower dimensionality, we present an algorithm that verifies global safety properties of the complete system using the reach sets of the components. Here, the components are only coupled through a shared time variable. Using a satellite system case study, we are able to show significant savings in memory and runtime computation costs for this approach. For systems whose components are coupled through additional continuous variables, we present an abstraction to overapproximate the interaction between the components such that the aforementioned algorithm can be used. The feasibility of this abstraction is demonstrated experimentally, which also shows additional work is necessary to develop a more efficient abstraction.
Issue Date: 2012-09-18
URI: http://hdl.handle.net/2142/34351
Rights Information: Copyright 2012 Jeremy Green
Date Available in IDEALS: 2012-09-18
Date Deposited: 2012-08
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 171
  • Downloads this Month: 2
  • Downloads Today: 0

Browse

My Account

Information

Access Key