4693 search results - page 247 / 939 » Verifying Hybrid Systems |
173
click to vote
EDUTAINMENT
2007
Springer
16 years 23 days ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
220
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
203
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
193
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...
165
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...