Nonlinear Hybrid Systems

Lei Bu, Edmund M. Clarke, Sumit Kumar Jha, Xuandong Li
Path Oriented Reachability Analysis of Convex Nonlinear Hybrid Automata  [Submitted. Extends our BMC 2006 paper] 

Sumit Kumar Jha:
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata In arXiv:cs/0611051 [ps, pdf, other] Subjects: Logic in Computer Science (cs.LO)

Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. In HSCC 2005: 242-257    [ Download PDF ]