oaioai:CiteSeerX.psu:10.1.1.574.1969

Reachability Analysis of Hybrid Systems with Linear Dynamics

Abstract

We present results on symbolic reachability analysis for hybrid systems with linear au-tonomous dynamics in each location.

Similar works

Full text

thumbnail-image
oaioai:CiteSeerX.psu:10.1.1.574.1969Last time updated on 10/29/2017

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.