@inproceedings{82433f9400f44e89ab8efe44e0f17632,
title = "Bounded ε-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition",
abstract = "An ε-reach set of a hybrid automaton is a set of states such that every state in it is within a distance ε of some reachable state.We propose an algorithm to compute a bounded ε-reach set from a given initial state of a class of deterministic linear hybrid automata that satisfy a certain transversality condition. The proposed algorithm is based on time-sampling. It over-approximates the reachable states at each sampled time instant using polyhedra, and subsequently computes an ε-reach set for a bounded time interval using these over-approximations, while reducing the sampling period on-the-fly.",
author = "Kim, \{Kyoung Dae\} and Sayan Mitra and Kumar, \{P. R.\}",
year = "2010",
doi = "10.1109/CDC.2010.5717209",
language = "English",
isbn = "9781424477456",
series = "Proceedings of the IEEE Conference on Decision and Control",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "6177--6182",
booktitle = "2010 49th IEEE Conference on Decision and Control, CDC 2010",
note = "49th IEEE Conference on Decision and Control, CDC 2010 ; Conference date: 15-12-2010 Through 17-12-2010",
}