Sciweavers

14190 search results - page 144 / 2838
» Abstractions for hybrid systems
Sort
View
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 12 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
JAIR
2011
117views more  JAIR 2011»
14 years 9 months ago
Sequential Diagnosis by Abstraction
Sajjad Ahmed Siddiqi, Jinbo Huang