4693 search results - page 90 / 939 » Verifying Hybrid Systems |
107
click to vote
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
116
Voted
AGI
2008
15 years 2 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
156
Voted
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
97
Voted
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
101
Voted
JSS
2007
15 years 15 days ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...