CAV
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
As the need for advanced, interactive mathematical models has increased, user/programmers are increasingly choosing the MatLab