Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming Article

Li, Xuandong, Aanand, Sumit Jha, Bu, Lei. (2007). Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming . 174(3), 57-70. 10.1016/j.entcs.2006.12.023

cited authors

  • Li, Xuandong; Aanand, Sumit Jha; Bu, Lei

authors

publication date

  • May 26, 2007

keywords

  • Computer Science
  • Computer Science, Theory & Methods
  • Linear hybrid automata
  • Science & Technology
  • Technology
  • bounded model checking
  • linear programming
  • reachability analysis

Digital Object Identifier (DOI)

publisher

  • ELSEVIER SCIENCE BV

start page

  • 57

end page

  • 70

volume

  • 174

issue

  • 3