Reachability for linear hybrid automata using iterative relaxation abstraction Conference

Jha, Sumit K, Krogh, Bruce H, Weimer, James E et al. (2007). Reachability for linear hybrid automata using iterative relaxation abstraction . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 4416 287-+.

cited authors

  • Jha, Sumit K; Krogh, Bruce H; Weimer, James E; Clarke, Edmund M

date/time interval

  • April 3, 2007 -

publication date

  • January 1, 2007

published in

keywords

  • Automation & Control Systems
  • Computer Science
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology

Location

  • ITALY, Pisa

International Standard Book Number (ISBN) 13

Conference

  • 10th International Conference on Hybrid Systems - Computation and Control

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 287

end page

  • +

volume

  • 4416