665 search results - page 6 / 133 » The Theory of Hybrid Automata |
ENTCS
2007
13 years 8 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
FORMATS
2006
Springer
14 years 8 days ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
IJVR
2008
13 years 8 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
HYBRID
1995
Springer
14 years 4 days ago
1995
Springer
HYBRID
2011
Springer
12 years 8 months ago
2011
Springer
