Reachability Analysis of Hybrid Systems with Linear Dynamics


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

Similar works

Full text

oaioai:CiteSeerX.psu: 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.