![](/img/cover-not-exists.png)
[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition
Kim, Kyoung-Dae, Mitra, Sayan, Kumar, P. R.Year:
2010
Language:
english
DOI:
10.1109/cdc.2010.5717209
File:
PDF, 519 KB
english, 2010