527 search results - page 39 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
CAV
2007
Springer
14 years 20 days ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
EMO
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...
CSREASAM
2006
13 years 10 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...
TSD
2010
Springer
13 years 6 months ago
2010
Springer
The question how to integrate information from different sources in speech decoding is still only partially solved (layered architecture versus integrated search). We investigate t...