123 search results - page 12 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
131
click to vote
CEC
2010
IEEE
14 years 4 months ago
2010
IEEE
— Efficient vehicle path planning in hostile environment to carry out rescue or tactical logistic missions remains very challenging. Most approaches reported so far relies on key...
105
click to vote
ICARCV
2008
IEEE
15 years 6 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
159
Voted
FMSB
2008
15 years 1 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
108
Voted
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
94
Voted
COMCOM
2010
15 years 15 days ago
2010
We study the interaction between the MIMD (Multiplicative Increase Multiplicative Decrease) congestion control and a bottleneck router with Drop Tail buffer. We consider the probl...